--- a/etc/components Wed May 12 23:54:01 2010 +0200 +++ b/etc/components Wed May 12 23:54:02 2010 +0200 @@ -16,4 +16,4 @@ src/HOL/Tools/ATP_Manager src/HOL/Mirabelle src/HOL/Library/Sum_Of_Squares -src/HOL/SMT +src/HOL/Tools/SMT