# HG changeset patch
# User haftmann
# Date 1214826090 -7200
# Node ID 77ea650bfc3adda50fe3c62a4f67ca309effb657
# Parent  67330748a72e34645f01c315b1aa136ce3301aec
HOL-Complex with proof terms

diff -r 67330748a72e -r 77ea650bfc3a src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Jun 30 13:41:28 2008 +0200
+++ b/src/HOL/IsaMakefile	Mon Jun 30 13:41:30 2008 +0200
@@ -321,7 +321,7 @@
   Tools/Qelim/ferrante_rackoff_data.ML \
   Tools/Qelim/langford.ML \
   Tools/Qelim/langford_data.ML
-	@cd Complex; $(ISATOOL) usedir -b -g true $(OUT)/HOL HOL-Complex
+	@cd Complex; $(ISATOOL) usedir $(HOL_USEDIR_OPTIONS) -b -g true $(OUT)/HOL HOL-Complex
 
 
 ## HOL-Complex-ex