diff --git a/Makefile b/Makefile
index 09c516680..a0e07b496 100644
--- a/Makefile
+++ b/Makefile
@@ -221,7 +221,7 @@ fb-setup:
 fmt:
 	parallel $(OCAMLFORMAT_EXE) $(OCAMLFORMAT_ARGS) -i ::: $$(git diff --name-only --diff-filter=ACMRU $$(git merge-base origin/master HEAD) | grep "\.mli\?$$")
 
-DUNE_ML:=$(shell find * -name 'dune*.in' | grep -v workspace | grep -v infer-source)
+DUNE_ML:=$(shell find * -name 'dune*.in' | grep -v workspace | grep -v infer-source | grep -v infer/src/deadcode/dune.in)
 
 .PHONY: fmt_dune
 fmt_dune: