# HG changeset patch
# User blanchet
# Date 1280336854 -7200
# Node ID 9eda375ec19dbf7d04ff3256d2e9a64577b0b841
# Parent  9033c03cc21478233ca8f887d71ca19a7161e5e6
updated component name

diff -r 9033c03cc214 -r 9eda375ec19d etc/components
--- a/etc/components	Wed Jul 28 19:04:59 2010 +0200
+++ b/etc/components	Wed Jul 28 19:07:34 2010 +0200
@@ -13,7 +13,7 @@
 #misc components
 src/Tools/Code
 src/Tools/WWW_Find
-src/HOL/Tools/ATP_Manager
+src/HOL/Tools/ATP
 src/HOL/Mirabelle
 src/HOL/Library/Sum_Of_Squares
 src/HOL/Tools/SMT