diff options
| -rw-r--r-- | bin/qsp_parser.ml | 2 | ||||
| -rw-r--r-- | tools/dune | 2 |
2 files changed, 2 insertions, 2 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]@." @@ -3,7 +3,7 @@ (rule (target git_hash.ml) - (deps git_head.sh) + (deps git_head.sh (universe)) (action (with-stdout-to %{target} |