Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 1999-04-28 17:30:51 -0700 (Wed, 28 Apr 1999)
Revision: 2644
Log message:

      Added module name (Rewrtie_compile_contractum.) to all the RefinerError raised from this file
      

Changes	Path
+9 -9	metaprl/refiner/rewrite/rewrite_compile_contractum.ml