Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-07-13 07:39:00 -0700 (Wed, 13 Jul 2005)
Revision: 7596
Log message:

      Getting rid of the "multiple ways to build scanner <scanner
      theories/itt/scan-ocaml-gen_int_bench.ml>" warning.
      

Changes  Path
+1 -2 metaprl/theories/itt/OMakefile