Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-01-24 15:42:39 -0800 (Mon, 24 Jan 2005)
Revision: 6496
Log message:

      The output of the context_vars is interpreted as a set, so it should be
      a SymbolSet.t, not var list.
      

Changes	Path
+2 -1	metaprl/filter/base/filter_summary_util.ml
+1 -1	metaprl/filter/base/filter_summary_util.mli
+3 -2	metaprl/filter/base/filter_util.ml
+1 -1	metaprl/filter/base/filter_util.mli
+2 -2	metaprl/refiner/refiner/refiner_debug.ml
+1 -1	metaprl/refiner/refsig/term_meta_sig.ml
+1 -1	metaprl/refiner/refsig/term_subst_sig.ml
+8 -8	metaprl/refiner/term_ds/term_subst_ds.ml
+1 -1	metaprl/refiner/term_gen/term_meta_gen.ml
+2 -8	metaprl/refiner/term_std/term_subst_std.ml