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 |