diff --git a/examples/lpr_checker/array/compilation/Holmakefile b/examples/lpr_checker/array/compilation/Holmakefile
index 161f74b3d3..8e7cea16c9 100644
--- a/examples/lpr_checker/array/compilation/Holmakefile
+++ b/examples/lpr_checker/array/compilation/Holmakefile
@@ -10,5 +10,5 @@ README.md: $(CAKEMLDIR)/developers/readme_gen readmePrefix $(patsubst %,%readmeP
 	$(protect $(CAKEMLDIR)/developers/readme_gen) $(README_SOURCES)
 
 cake_lpr.S: *lpr_arrayCompileScript.sml
-cake_lpr_arm8.S: *lpr_arrayRamseyCompileScript.sml
+cake_lpr_arm8.S: *lpr_arrayCompileARM8Script.sml
 cake_lpr_ramsey.S: *lpr_arrayRamseyCompileScript.sml