aboutsummaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorChimrod <>2025-04-25 14:06:03 +0200
committerChimrod <>2025-04-25 14:06:03 +0200
commita5d4b07dbd2b3aec3e8f9a36bbe50c86fc32cf28 (patch)
tree5f7a5c0accd5a1db5f50be41a84f863ef9063e67 /bin
parent166ffdefbcf55ddc709ab2ab197c83af51236e05 (diff)
Fix in the format template displaying error messageHEADmaster
Diffstat (limited to 'bin')
-rw-r--r--bin/qsp_parser.ml2
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 :