Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-05-07 20:57:53 -0700 (Mon, 07 May 2001)
Revision: 3218
Log message:

      The code responsible for computing extracts is completely broken (see BUGS 4.4
      and 4.10) and is generating unwarranted error messages as soon as I start
      fixing rewriter bugs that were masking refiner bugs...
      
      As a temporary measure I am disabling the extract computation code.
      

Changes  Path
+9 -0 metaprl/refiner/refiner/refine.ml