diff options
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/qsp_parser.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 : |