diff --git a/infer/src/Makefile.in b/infer/src/Makefile.in index d4c9c99a0..9e389c78f 100644 --- a/infer/src/Makefile.in +++ b/infer/src/Makefile.in @@ -78,6 +78,7 @@ OCAMLBUILD_OPTIONS = \ $(OCAMLBUILD_QUIET_OPTIONS) \ -classic-display \ -cflags -principal \ + -cflags -strict-formats \ -cflags -w,@5 \ -cflags -w,@8 \ -cflags -w,@10 \ diff --git a/infer/src/backend/inferprint.ml b/infer/src/backend/inferprint.ml index d757170db..96cb2055c 100644 --- a/infer/src/backend/inferprint.ml +++ b/infer/src/backend/inferprint.ml @@ -852,7 +852,8 @@ module Stats = struct | None -> "" in let line = let pp fmt () = - if description <> "" then F.fprintf fmt "%s%04s // %s@\n" (indent_string (level + indent_num)) " " description; + if description <> "" + then F.fprintf fmt "%s%4s // %s@\n" (indent_string (level + indent_num)) " " description; F.fprintf fmt "%s%04d: %s" (indent_string (level + indent_num)) loc.Location.line code in pp_to_string pp () in res := line :: "" :: !res in