Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-03-28 06:43:15 -0800 (Fri, 28 Mar 2003)
Revision: 4289
Log message:

      Unintended change slipped into reduce-resource.
      This update fixes broken "itt_int_arith/test6".
      

Changes	Path
+1 -1	metaprl/theories/itt/itt_int_ext.ml
+3 -2	metaprl/util/check-status