Admin/Benchmarks/IsaMakefile
changeset 44640 3e666dcdcd32
parent 33696 2c7c79ca6c23
--- a/Admin/Benchmarks/IsaMakefile	Thu Sep 01 16:46:07 2011 +0200
+++ b/Admin/Benchmarks/IsaMakefile	Thu Sep 01 16:58:03 2011 +0200
@@ -33,7 +33,7 @@
 HOL-record: HOL $(LOG)/HOL-record.gz
 
 $(LOG)/HOL-record.gz: $(OUT)/HOL HOL-record/ROOT.ML	\
-   HOL-record/RecordBenchmark.thy
+   HOL-record/Record_Benchmark.thy
 	@$(ISABELLE_TOOL) usedir -s record $(OUT)/HOL HOL-record