Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-05-05 20:46:26 -0700 (Wed, 05 May 2004)
Revision: 5758
Log message:

      Fixing bug 219: only compute the "address array index" of a hyp context,
      when it is actually needed, and do not compute when processing an instance
      of a context already seen.
      

Changes  Path
+13 -12 metaprl/refiner/rewrite/rewrite_compile_redex.ml