Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-04-12 00:06:45 -0700 (Tue, 12 Apr 2005)
Revision: 7208
Log message:

      Print an error message when trying to compile a MetaPRL file that has a .ml,
      but no .mli.
      
      (Nathan and I have spent quite some time figuring out while one of his files
      was not being compiled properly :-( ).
      

Changes	Path
+10 -0	metaprl/OMakefile