src/HOL/Computational_Algebra/Polynomial.thy

--- a/src/HOL/Computational_Algebra/Polynomial.thy	Fri Jun 29 11:39:40 2018 +0100
+++ b/src/HOL/Computational_Algebra/Polynomial.thy	Fri Jun 29 14:00:37 2018 +0100
@@ -9,7 +9,7 @@
 
 theory Polynomial
 imports
-  HOL.Deriv
+  Complex_Main
   "HOL-Library.More_List"
   "HOL-Library.Infinite_Set"
   Factorial_Ring