diff options
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/qsp_parser.ml | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/bin/qsp_parser.ml b/bin/qsp_parser.ml index 70f474e..1e897a0 100644 --- a/bin/qsp_parser.ml +++ b/bin/qsp_parser.ml @@ -149,11 +149,11 @@ let () = with Qparser.Lexer.EOF -> () in - let () = - match (!ctx.error_nb, !ctx.warn_nb) with - | 0, 0 -> print_endline "No errors found" - | _ -> - Printf.printf "Found %d error(s), %d warning(s)\n" !ctx.error_nb - !ctx.warn_nb - in - () + match (!ctx.error_nb, !ctx.warn_nb) with + | 0, 0 -> + print_endline "No errors found"; + exit 0 + | _ -> + Printf.printf "Found %d error(s), %d warning(s)\n" !ctx.error_nb + !ctx.warn_nb; + exit 1 |