src/HOL/Analysis/Complex_Analysis_Basics.thy

--- a/src/HOL/Analysis/Complex_Analysis_Basics.thy	Thu Sep 15 22:41:05 2016 +0200
+++ b/src/HOL/Analysis/Complex_Analysis_Basics.thy	Fri Sep 16 13:56:51 2016 +0200
@@ -5,7 +5,7 @@
 section \<open>Complex Analysis Basics\<close>
 
 theory Complex_Analysis_Basics
-imports Cartesian_Euclidean_Space "~~/src/HOL/Library/Nonpos_Ints"
+imports Henstock_Kurzweil_Integration "~~/src/HOL/Library/Nonpos_Ints"
 begin