Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-10-15 16:22:40 -0700 (Fri, 15 Oct 2004)
Revision: 6241
Log message:

      The tests that require ITT should not be compiled unless ITT is listed in
      the THEORIES variable.
      

Changes  Path
+6 -3 metaprl/editor/ml/OMakefile
+1 -1 metaprl/editor/ml/tests/OMakefile