diff --git a/infer/src/Makefile.in b/infer/src/Makefile.in
index 9e389c78f..714d9c693 100644
--- a/infer/src/Makefile.in
+++ b/infer/src/Makefile.in
@@ -79,6 +79,7 @@ OCAMLBUILD_OPTIONS = \
                      -classic-display \
                      -cflags -principal \
                      -cflags -strict-formats \
+                     -cflags -strict-sequence \
                      -cflags -w,@5 \
                      -cflags -w,@8 \
                      -cflags -w,@10 \