typo
Ignore-this: 35a418560754730e6c52f8730ba47b59 darcs-hash:20120220095457-c41ad-50a3a983630fff04845f8ba1cca47b261d897fcd
This commit is contained in:
parent
dcdab7ac0f
commit
dbae1b32bc
|
@ -55,7 +55,7 @@ let parse_toplevel_phrase_camlp4 str eos_is_error =
|
||||||
let () =
|
let () =
|
||||||
UTop.set_camlp4 true;
|
UTop.set_camlp4 true;
|
||||||
UTop.parse_toplevel_phrase := parse_toplevel_phrase_camlp4;
|
UTop.parse_toplevel_phrase := parse_toplevel_phrase_camlp4;
|
||||||
(* Force camlp4 to display its error message. *)
|
(* Force camlp4 to display its welcome message. *)
|
||||||
try
|
try
|
||||||
ignore (!Toploop.parse_toplevel_phrase (Lexing.from_string ""))
|
ignore (!Toploop.parse_toplevel_phrase (Lexing.from_string ""))
|
||||||
with _ ->
|
with _ ->
|
||||||
|
|
Loading…
Reference in New Issue