changeset 38989 | e34b099e477e |
parent 38986 | e34c1b09bb5e |
child 39013 | c79e6d536267 |
--- a/src/HOL/IsaMakefile Tue Aug 31 23:50:59 2010 +0200 +++ b/src/HOL/IsaMakefile Tue Aug 31 23:52:59 2010 +0200 @@ -266,7 +266,7 @@ $(SRC)/Provers/Arith/combine_numerals.ML \ $(SRC)/Provers/Arith/extract_common_term.ML \ $(SRC)/Tools/Metis/metis.ML \ - Tools/ATP/async_manager.ML \ + Tools/async_manager.ML \ Tools/ATP/atp_problem.ML \ Tools/ATP/atp_systems.ML \ Tools/choice_specification.ML \