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