Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-11-30 21:19:52 -0800 (Sun, 30 Nov 2003)
Revision: 5131
Log message:

      (bug 128) Made the Itt_equal.process_eqcd_resource_annotation error messages
      a bit more precise.
      

Changes	Path
+3 -3	metaprl/theories/itt/itt_equal.ml