Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-11-25 15:26:38 -0800 (Tue, 25 Nov 2003)
Revision: 288
Log message:
Explicitly use fully-qualified Omake_util.bool_of_string to avoid
confusion with the Pervasives.bool_of_string (before this change I
was getting Invalid_argument("bool_of_string") when trying to compile
MetaPRL).
Changes | Path |
+1 -1 | omake/src/eval/omake_eval.ml |
+1 -1 | omake/src/eval/omake_value.ml |