From dbae1b32bc191c3064d9a0cbce0663441bec51ca Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Mon, 20 Feb 2012 10:54:57 +0100 Subject: [PATCH] typo Ignore-this: 35a418560754730e6c52f8730ba47b59 darcs-hash:20120220095457-c41ad-50a3a983630fff04845f8ba1cca47b261d897fcd --- src/camlp4/uTop_camlp4.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/camlp4/uTop_camlp4.ml b/src/camlp4/uTop_camlp4.ml index 1f32e2e..6147507 100644 --- a/src/camlp4/uTop_camlp4.ml +++ b/src/camlp4/uTop_camlp4.ml @@ -55,7 +55,7 @@ let parse_toplevel_phrase_camlp4 str eos_is_error = let () = UTop.set_camlp4 true; UTop.parse_toplevel_phrase := parse_toplevel_phrase_camlp4; - (* Force camlp4 to display its error message. *) + (* Force camlp4 to display its welcome message. *) try ignore (!Toploop.parse_toplevel_phrase (Lexing.from_string "")) with _ ->