Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-10-22 20:29:30 -0700 (Fri, 22 Oct 2004)
Revision: 6253
Log message:

      With this fix arithT does not fail on /itt_nat/natFullInduction/1/1/1 even without
      last Aleksey's commit. See bug 322 for more comments.
      

Changes	Path
+1 -1	metaprl/refiner/reflib/arith.ml