Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-05-13 20:38:41 -0700 (Sat, 13 May 2000)
Revision: 2966
Log message:

      get_core is supposed to return a real core and it can not return a Hashed _
      

Changes	Path
+2 -5	metaprl/refiner/term_ds/term_base_ds.ml
+2 -6	metaprl/refiner/term_ds/term_op_ds.ml