Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-07-15 17:42:24 -0700 (Fri, 15 Jul 2005)
Revision: 1236
Log message:

      Update Pervasives syntax.
      

Changes	Path
+0 -1	omake-branches/stricttest1/Pervasives.src
+0 -1	omake-branches/stricttest1/lib/Pervasives.om