src/HOL/SPARK/Examples/Gcd/Greatest_Common_Divisor.thy

--- a/src/HOL/SPARK/Examples/Gcd/Greatest_Common_Divisor.thy	Thu Nov 02 15:21:35 2017 +0100
+++ b/src/HOL/SPARK/Examples/Gcd/Greatest_Common_Divisor.thy	Fri Nov 03 13:43:31 2017 +0100
@@ -4,7 +4,7 @@
 *)
 
 theory Greatest_Common_Divisor
-imports SPARK
+imports "HOL-SPARK.SPARK"
 begin
 
 spark_proof_functions