Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-12-21 12:54:59 -0800 (Wed, 21 Dec 2005)
Revision: 8340
Log message:

      - Removing the unsafe_lookup function from the Weak_memo module. We never used
        it and it is safer and easier not to provide it.
      
      - Fixing a type in an error message.
      

Changes  Path
+0 -19 metaprl/mllib/weak_memo.ml
+0 -5 metaprl/mllib/weak_memo_sig.ml
+0 -6 metaprl/refiner/refsig/term_hash_sig.ml
+0 -6 metaprl/refiner/term_gen/term_hash.ml
+1 -1 metaprl/theories/itt/core/itt_struct2.ml