From a5d4b07dbd2b3aec3e8f9a36bbe50c86fc32cf28 Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Fri, 25 Apr 2025 14:06:03 +0200 Subject: Fix in the format template displaying error message --- bin/qsp_parser.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bin') diff --git a/bin/qsp_parser.ml b/bin/qsp_parser.ml index 60db5ec..65a4e4a 100644 --- a/bin/qsp_parser.ml +++ b/bin/qsp_parser.ml @@ -106,7 +106,7 @@ let pp_report : unit = fun pp lexbuf fmt e -> let start_position, _ = Qparser.Lexbuf.positions lexbuf in - Format.fprintf fmt "Location@ %s@;@[%a]@." start_position.Lexing.pos_fname pp + Format.fprintf fmt "Location@ %s@;@[%a@]@." start_position.Lexing.pos_fname pp e let display_result : -- cgit v1.2.3