Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-02-24 19:52:29 -0800 (Mon, 24 Feb 2003)
Revision: 4120
Log message:

      One of the srec rules was missing one of the necessary wf assumptions.
      Alexei, Jason, please double-check.
      

Changes	Path
+1 -0	metaprl/theories/itt/itt_srec.ml
+1 -0	metaprl/theories/itt/itt_srec.mli