Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-08-25 19:25:35 -0700 (Wed, 25 Aug 2004)
Revision: 6137
Log message:

      Trivial simplification of the code.
      

Changes  Path
+2 -8 metaprl/filter/filter/term_grammar.ml