Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-07-03 12:20:18 -0700 (Sat, 03 Jul 1999)
Revision: 2771
Log message:
For static terms and mterms, use "let ...;; let ... " instead of
a big "let ... and ... and ...".
Unfortunatelly, this did not fix the "make opt" problem.
Changes | Path |
+9 -8 | metaprl/filter/filter_prog.ml |