src/HOL/Nitpick_Examples/Typedef_Nits.thy

--- a/src/HOL/Nitpick_Examples/Typedef_Nits.thy	Wed Feb 24 14:19:54 2010 +0100
+++ b/src/HOL/Nitpick_Examples/Typedef_Nits.thy	Wed Feb 24 14:34:40 2010 +0100
@@ -8,7 +8,7 @@
 header {* Examples Featuring Nitpick Applied to Typedefs *}
 
 theory Typedef_Nits
-imports Main Rational
+imports Complex_Main
 begin
 
 nitpick_params [card = 1\<midarrow>4, sat_solver = MiniSat_JNI, max_threads = 1,