From fe85a6f8469e70e1d24c4ae745b697943e61b023 Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Tue, 12 Sep 2023 17:50:45 +0200 Subject: [PATCH] Fix too long lines --- src/parsers/psmt2_to_alt_ergo.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/parsers/psmt2_to_alt_ergo.ml b/src/parsers/psmt2_to_alt_ergo.ml index e334b4650..b43390874 100644 --- a/src/parsers/psmt2_to_alt_ergo.ml +++ b/src/parsers/psmt2_to_alt_ergo.ml @@ -508,7 +508,8 @@ let aux aux_fun token lexbuf = let loc = (Lexing.lexeme_start_p lexbuf, Lexing.lexeme_end_p lexbuf) in let lex = Lexing.lexeme lexbuf in Parsing.clear_parser (); - Smtlib_error.print (Options.Output.get_fmt_diagnostic ()) (Options.get_file ()) + Smtlib_error.print (Options.Output.get_fmt_diagnostic ()) + (Options.get_file ()) (Syntax_error (lex)) loc; Errors.error (Errors.Syntax_error (loc,"")) | Smtlib_error.Error (e , p) ->