diff options
| -rw-r--r-- | NEWS | 1 | ||||
| -rw-r--r-- | src/parser_helper.ml | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -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 | _ -> |