Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-24 21:46:51 -0700 (Tue, 24 May 2005)
Revision: 7326
Log message:

      Itt_omage was using Hashtbl.hash for computing hash values of _terms_. This,
      obviously, has huge potential for problems (as delayed substitutions get
      expanded, free variables computed, etc). I am hoping this would finally
      explain the weird behavior of omegaT that I have been unable to track for
      almost a week.
      
      P.S. Term_hash_code still uses Hashtbl.hash for hashing parameters (which
      include nums) and Itt_omega still uses Hashtbl.hash for hashing Ring.ring
      arrays (which may also include nums).
      

Changes	Path
+1 -1	metaprl/refiner/reflib/term_hash_code.ml
+11 -13	metaprl/theories/itt/itt_omega.ml