Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-09-10 18:37:33 -0700 (Tue, 10 Sep 2002)
Revision: 3868
Log message:

      Fixed compilation with TESTS=yes.
      

Changes	Path
+0 -7	metaprl/theories/itt/itt_bugs.ml
+10 -10	metaprl/theories/itt/jprover_tests.ml
+0 -6	metaprl/theories/phobos/Makefile