Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 1999-03-02 08:59:01 -0800 (Tue, 02 Mar 1999)
Revision: 2603
Log message:

      GC of hashtable is temporarily removed due error in it.
      Now hashtable is always growing but terms can be gc-ed from weak-array
      

Changes	Path
+2 -1	metaprl/mllib/weak_memo.ml