From 0746b29996c79eb476f1efbff0e8c3726eb38fc6 Mon Sep 17 00:00:00 2001 From: Thierry Vignaud Date: Thu, 5 Sep 2013 09:36:51 +0200 Subject: "please remove the space before the function call" is no more fatal (for Gtk3) --- NEWS | 1 + src/parser_helper.ml | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/NEWS b/NEWS index 226e5ba..8c4005e 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,5 @@ - update Glib fake package +- "please remove the space before the function call" is no more fatal Version 1.2.24 - 14 October 2012, by Thierry Vignaud diff --git a/src/parser_helper.ml b/src/parser_helper.ml index c5c19f0..714fe26 100644 --- a/src/parser_helper.ml +++ b/src/parser_helper.ml @@ -472,7 +472,7 @@ let check_parenthesized_first_argexpr word esp = (if want_space then sp_n else sp_0) esp else (* eg: join (" ", @l) . "\n" *) - die_with_rawpos (get_pos_start esp, get_pos_start esp) "please remove the space before the function call" + warn [Warn_strange] (get_pos_start esp, get_pos_start esp) "please remove the space before the function call" else sp_p esp | _ -> -- cgit v1.2.1