Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-01-27 21:34:04 -0800 (Thu, 27 Jan 2005)
Revision: 6519
Log message:

      Fixing yet another TERMS=std bug related to yesterday's address type change.
      This appears to be the last one.
      

Changes	Path
+3 -2	metaprl/refiner/refiner/refiner_debug.ml
+1 -1	metaprl/refiner/term_gen/term_addr_gen.ml