diff --git a/tools/c-parser/standalone-parser/Makefile b/tools/c-parser/standalone-parser/Makefile
index 434e3b0df2..9f42132751 100644
--- a/tools/c-parser/standalone-parser/Makefile
+++ b/tools/c-parser/standalone-parser/Makefile
@@ -52,7 +52,7 @@ include $(STP_PFX)/../Makefile
 
 STP_CLEAN_TARGETS := $(STPARSERS) $(TOKENIZERS) $(STP_PFX)/c-parser.o $(STP_PFX)/table.ML
 
-$(STP_PFX)/table.ML: $(ISABELLE_HOME)/src/Pure/General/table.ML
+$(STP_PFX)/table.ML: $(ISABELLE_HOME)/src/Pure/General/table.ML $(STP_PFX)/Makefile
 	sed -e '/\(\* cache \*\)/,/final.declarations/d' < $< | \
 	sed -e "s/^  val unsynchronized_cache:.*a/  (* removed unsynchronized_cache *)/" > $@