diff --git a/infer/src/jbuild.in b/infer/src/jbuild.in index 8a74f5052..7f18f6d2a 100644 --- a/infer/src/jbuild.in +++ b/infer/src/jbuild.in @@ -56,8 +56,8 @@ let sources = List.iter one_dir src_dirs ; !files let common_cflags = - let fatal_warnings = "+3+5+6+8+10+11+12+18+19+20+21+23+26+29+27+33+34+35+37+38+39+50+52+57" in - let warnings = fatal_warnings ^ "-4-9-32-40-41-42-45-48" in + let fatal_warnings = "+3+5+6+8+10+11+12+18+19+20+21+23+26+29+27+32+33+34+35+37+38+39+50+52+57" in + let warnings = fatal_warnings ^ "-4-9-40-41-42-45-48" in let common_flags = [ "-g" ; "-short-paths"