Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-17 16:20:59 -0800 (Mon, 17 Mar 2003)
Revision: 4174
Log message:

      Small no-op change in Term_ds address interface (needed to simplify adding
      some additional debugging functionality to it).
      

Changes  Path
+1 -2 metaprl/refiner/refiner/refiner_ds.ml
+0 -4 metaprl/refiner/term_ds/term_addr_ds.ml
+2 -3 metaprl/refiner/term_ds/term_addr_ds.mli