src/HOL/Multivariate_Analysis/Fashoda.thy

--- a/src/HOL/Multivariate_Analysis/Fashoda.thy	Wed Apr 28 15:07:03 2010 -0700
+++ b/src/HOL/Multivariate_Analysis/Fashoda.thy	Wed Apr 28 16:11:07 2010 -0700
@@ -4,7 +4,7 @@
 header {* Fashoda meet theorem. *}
 
 theory Fashoda
-imports Brouwer_Fixpoint Vec1
+imports Brouwer_Fixpoint Vec1 Path_Connected
 begin
 
 subsection {*Fashoda meet theorem. *}