# HG changeset patch
# User nipkow
# Date 1316581396 -7200
# Node ID d16343c47fb894e8c4db6b909cd3a520849f9122
# Parent  21334181f82096c0e2f99b4231524f92cf7a0879
added missing makefile dependence

diff -r 21334181f820 -r d16343c47fb8 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Sep 21 06:26:15 2011 +0200
+++ b/src/HOL/IsaMakefile	Wed Sep 21 07:03:16 2011 +0200
@@ -515,7 +515,7 @@
 
 $(OUT)/HOL-IMP: $(OUT)/HOL IMP/AbsInt0_fun.thy IMP/Astate.thy \
   IMP/AbsInt0.thy IMP/AbsInt0_const.thy IMP/AbsInt1.thy IMP/AbsInt1_ivl.thy \
-  IMP/ASM.thy IMP/AExp.thy IMP/BExp.thy	\
+  IMP/AbsInt2.thy IMP/ASM.thy IMP/AExp.thy IMP/BExp.thy	\
   IMP/Big_Step.thy IMP/C_like.thy IMP/Com.thy IMP/Compiler.thy \
   IMP/Comp_Rev.thy IMP/Def_Ass.thy IMP/Def_Ass_Big.thy IMP/Def_Ass_Exp.thy \
   IMP/Def_Ass_Small.thy IMP/Def_Ass_Sound_Big.thy \