diff -r 6decc1ffdbed -r 4ab00a2642c3 etc/components
--- a/etc/components	Wed Sep 02 16:02:37 2009 +0200
+++ b/etc/components	Wed Sep 02 16:23:53 2009 +0200
@@ -13,5 +13,5 @@
 #misc components
 src/Tools/Code
 src/HOL/Tools/ATP_Manager
-src/HOL/Tools/Mirabelle
+src/HOL/Mirabelle
 src/HOL/Library/Sum_Of_Squares