diff options
Diffstat (limited to 'bin/qsp_parser.ml')
-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 6a6b772..fc40971 100644 --- a/bin/qsp_parser.ml +++ b/bin/qsp_parser.ml @@ -42,7 +42,7 @@ let parse_location : ctx:ctx -> Qparser.Lexbuf.t -> Args.filters -> ctx = match report.Report.level with | Error -> { ctx with error_nb = ctx.error_nb + 1 } | Warn -> { ctx with warn_nb = ctx.warn_nb + 1 } - | Debug -> { ctx with warn_nb = ctx.debug_nb + 1 })) + | Debug -> { ctx with debug_nb = ctx.debug_nb + 1 })) | Error e -> let start_position, _ = Qparser.Lexbuf.positions lexbuf in Format.fprintf Format.std_formatter "Location@ %s@;@[%a]@." |