Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-23 22:00:17 -0800 (Wed, 23 Mar 2005)
Revision: 7024
Log message:

      When debug_grammar is set, apply_iforms would print the term before and after
      iform applications.
      

Changes	Path
+7 -4	metaprl/filter/filter/term_grammar.ml