Changes by: Eli Barzilay (eli at cs.cornell.edu)
Date: 1999-06-17 17:45:38 -0700 (Thu, 17 Jun 1999)
Revision: 2726
Log message:
* Fixed some more bugs in macro.ml.
* Added refine_error.mlh which is the ml equivalent of refine_error.h
(there must be some better suffix for these, any ideas?)
* Modified refine.ml so it uses macro.ml.