diff options
| author | Chimrod <> | 2025-04-25 14:06:03 +0200 |
|---|---|---|
| committer | Chimrod <> | 2025-04-25 14:06:03 +0200 |
| commit | a5d4b07dbd2b3aec3e8f9a36bbe50c86fc32cf28 (patch) | |
| tree | 5f7a5c0accd5a1db5f50be41a84f863ef9063e67 /bin | |
| parent | 166ffdefbcf55ddc709ab2ab197c83af51236e05 (diff) | |
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 : |