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) --- src/parser_helper.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') 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