Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2007-07-15 14:30:00 -0700 (Sun, 15 Jul 2007)
Revision: 11277
Log message:

      Small optimization in Omake_cache.  For the index, use (NodeSet.t IntTable.t)
     instead of (Node.t IntMTable.t), since the former is less likely to leak
     space.