
diff -r fc87d3becd69 -r 69673025292e src/HOL/SPARK/Manual/Reference.thy
--- a/src/HOL/SPARK/Manual/Reference.thy	Thu Nov 02 15:21:35 2017 +0100
+++ b/src/HOL/SPARK/Manual/Reference.thy	Fri Nov 03 13:43:31 2017 +0100
@@ -1,6 +1,6 @@
 (*<*)
 theory Reference
-imports SPARK
+imports "HOL-SPARK.SPARK"
 begin
 
 syntax (my_constrain output)




