# HG changeset patch
# User blanchet
# Date 1288860803 -3600
# Node ID 129d31b162f3c0cca52ff5d7fca306cec73c6629
# Parent  df25b51af0134b259a27255793d7ba534cb116e4
moved file in makefile to reflect actual dependencies

diff -r df25b51af013 -r 129d31b162f3 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Nov 03 23:01:30 2010 +0100
+++ b/src/HOL/IsaMakefile	Thu Nov 04 09:53:23 2010 +0100
@@ -172,6 +172,7 @@
   Sum_Type.thy \
   Tools/abel_cancel.ML \
   Tools/arith_data.ML \
+  Tools/async_manager.ML \
   Tools/cnf_funcs.ML \
   Tools/Datatype/datatype_abs_proofs.ML \
   Tools/Datatype/datatype_aux.ML \
@@ -277,7 +278,6 @@
   $(SRC)/Provers/Arith/cancel_numerals.ML \
   $(SRC)/Provers/Arith/combine_numerals.ML \
   $(SRC)/Provers/Arith/extract_common_term.ML \
-  Tools/async_manager.ML \
   Tools/ATP/atp_problem.ML \
   Tools/ATP/atp_proof.ML \
   Tools/ATP/atp_systems.ML \