--- 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)