changeset 36060 | 4d27652ffb40 |
parent 35972 | 142c3784a42b |
child 36062 | 194cb6e3c13f |
--- a/src/HOL/IsaMakefile Mon Mar 29 12:21:51 2010 +0200 +++ b/src/HOL/IsaMakefile Mon Mar 29 14:49:53 2010 +0200 @@ -99,7 +99,8 @@ $(OUT)/Pure: Pure -BASE_DEPENDENCIES = $(OUT)/Pure \ +BASE_DEPENDENCIES = $(SRC)/HOL/Tools/Sledgehammer/named_thm_set.ML \ + $(OUT)/Pure \ $(SRC)/Provers/blast.ML \ $(SRC)/Provers/clasimp.ML \ $(SRC)/Provers/classical.ML \