Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-18 18:23:51 -0800 (Tue, 18 Mar 2003)
Revision: 4183
Log message:
- The rewriter now correctly makes sure that the SO var args have
to be distinct for it to be a potential "poattern" source (and not
just an instance). This fixed BUGS 4.11 and allows eliminating the
"HACK" terms in itt_*isect
- free_vars_terms now returns StringSet.t, not string list