Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-01-23 00:24:18 -0800 (Thu, 23 Jan 2003)
Revision: 4010
Log message:

      Unused ml_ code (ml_rule and conditional ml_rw) seems to be quite outdated.
      Added an Invalid_argument there warning about the need for a clean-up
      in case somebody decides to use the code.
      

Changes  Path
+7 -8 metaprl/filter/base/filter_prog.ml