Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-07-03 19:16:39 -0700 (Thu, 03 Jul 2003)
Revision: 4695
Log message:

      Added Filter_patt to prlc.cma
      

Changes	Path
+2 -1	metaprl/filter/OMakefile
+1 -1	metaprl/filter/filter/filter_patt.ml