Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-07-04 15:28:23 -0700 (Sat, 04 Jul 1998)
Revision: 2296
Log message:

      Fixed mk_so_var - it should not use mk_term
      

Changes	Path
+5 -3	metaprl/refiner/term_ds/term_base_ds.mlp