diff --git a/infer/src/clang/cFrontend_checkers_main.ml b/infer/src/clang/cFrontend_checkers_main.ml index 59386742c..a1e820c17 100644 --- a/infer/src/clang/cFrontend_checkers_main.ml +++ b/infer/src/clang/cFrontend_checkers_main.ml @@ -24,7 +24,10 @@ let parse_ctl_file linters_files = Logging.err "%a: %s\n" print_position lexbuf msg; None | Ctl_parser.Error -> - Logging.err "%a: syntax error\n" print_position lexbuf; + Logging.err "\n#######################################################\ + \n\n%a: SYNTAX ERROR\n\ + \n########################################################\n@." + print_position lexbuf; exit (-1) in List.iter ~f:(fun fn -> Logging.out "Loading linters rules from %s\n" fn;