     1.1 --- a/src/HOL/IsaMakefile	Tue Feb 16 15:16:33 2010 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Tue Feb 16 15:25:36 2010 +0100
     1.3 @@ -1226,7 +1226,8 @@
     1.4    SMT/Tools/smt_solver.ML SMT/Tools/cvc3_solver.ML                      \
     1.5    SMT/Tools/yices_solver.ML SMT/Tools/z3_proof_terms.ML                 \
     1.6    SMT/Tools/z3_proof_rules.ML SMT/Tools/z3_proof.ML                     \
     1.7 -  SMT/Tools/z3_model.ML SMT/Tools/z3_interface.ML SMT/Tools/z3_solver.ML
     1.8 +  SMT/Tools/z3_model.ML SMT/Tools/z3_interface.ML			\
     1.9 +  SMT/Tools/z3_solver.ML $(SRC)/Tools/Cache_IO/cache_io.ML
    1.10  	@cd SMT; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL-Word HOL-SMT
    1.11  
    1.12
changeset 35140	117247018b54
parent 35100	53754ec7360b
child 35222	4f1fba00f66d