Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-06-24 15:55:23 -0700 (Fri, 24 Jun 2005)
Revision: 7400
Log message:

      Forgot to commit it for consistency - I changed the name of a probably unused variable,
      provided as a string parameter to J-prover.
      

Changes	Path
+1 -1	metaprl/theories/itt/itt_logic.ml