Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2003-03-13 17:11:36 -0800 (Thu, 13 Mar 2003)
Revision: 4168
Log message:

      Partially fix an old bug with parser. Now you can write
      squash{'A & 'B}.
      (Previously you had to write squash{('A & 'B)} or squash{.'A & 'B}).
      
      Unfortunately, this fix is only partial:
      squash{iff{'A;'B} & 'C} does not work, you need to write
      squash{(iff{'A;'B} & 'C)}
      

Changes	Path
+1 -1	metaprl/filter/base/term_grammar.ml