Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-10 14:06:18 -0800 (Thu, 10 Mar 2005)
Revision: 6881
Log message:

      Made the parsetree.cmi checking smarter. This makes MetaPRL compatible with
      GODI's default way of compiling and installing OCaml (both 3.08 and dev
      branches of GODI).
      

Changes	Path
+6 -2	metaprl/OMakefile