src/HOL/Complex/Fundamental_Theorem_Algebra.thy

--- a/src/HOL/Complex/Fundamental_Theorem_Algebra.thy	Wed Feb 27 14:39:58 2008 +0100
+++ b/src/HOL/Complex/Fundamental_Theorem_Algebra.thy	Wed Feb 27 15:35:42 2008 +0100
@@ -6,7 +6,7 @@
 header{*Fundamental Theorem of Algebra*}
 
 theory Fundamental_Theorem_Algebra
-  imports  Univ_Poly Complex
+  imports  Univ_Poly Dense_Linear_Order Complex
 begin
 
 section {* Square root of complex numbers *}