--- a/src/HOL/SPARK/Manual/Complex_Types.thy Thu Nov 02 15:21:35 2017 +0100
+++ b/src/HOL/SPARK/Manual/Complex_Types.thy Fri Nov 03 13:43:31 2017 +0100
@@ -1,5 +1,5 @@
theory Complex_Types
-imports SPARK
+imports "HOL-SPARK.SPARK"
begin
datatype day = Mon | Tue | Wed | Thu | Fri | Sat | Sun