Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-10-10 20:46:26 -0700 (Sun, 10 Oct 2004)
Revision: 6229
Log message:

      (Bug 330) When coming up with variable names for bound variables, it used
      to be the case that we did not take precautions against clashes within the bvars
      list of a single bterm. This commit fixes this problem.
      

Changes  Path
+7 -1 metaprl/refiner/rewrite/rewrite_build_contractum.ml