Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-08-28 00:35:45 -0700 (Thu, 28 Aug 2003)
Revision: 4893
Log message:

      Do not pass fake extract args when creating non-prim rules.
      

Changes  Path
+6 -8 metaprl/filter/base/filter_util.ml
+8 -18 metaprl/filter/filter/filter_prog.ml
+35 -7 metaprl/refiner/refiner/refine.ml
+4 -4 metaprl/refiner/refsig/refine_sig.ml