Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-02-13 15:21:17 -0800 (Sun, 13 Feb 2005)
Revision: 6670
Log message:

      Warning "branching is not supported yet" should be printed
      in debug mode only.
      

Changes  Path
+4 -2 metaprl/theories/itt/itt_int_arith.ml