Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-04-27 22:58:43 -0700 (Wed, 27 Apr 2005)
Revision: 7234
Log message:

      Added a comment
      

Changes  Path
+4 -0 metaprl/refiner/rewrite/rewrite_compile_redex.ml