Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-06-24 17:04:51 -0700 (Tue, 24 Jun 2003)
Revision: 4684
Log message:

      Decided to commit the extraction-disabling code, until we get it working.
      To find it, look in refiner.ml for the string
      "JYH: extraction disabled for now".
      

Changes	Path
+1 -2	metaprl/OMakefile
+8 -6	metaprl/refiner/refiner/refine.ml