diff -r 249fa34faba2 -r f199837304d7 src/HOL/Statespace/state_space.ML
--- a/src/HOL/Statespace/state_space.ML	Tue Jul 05 23:39:49 2016 +0200
+++ b/src/HOL/Statespace/state_space.ML	Wed Jul 06 11:29:51 2016 +0200
@@ -298,7 +298,7 @@
 
 fun add_declaration name decl thy =
   thy
-  |> Named_Target.init name
+  |> Named_Target.init NONE name
   |> (fn lthy => Local_Theory.declaration {syntax = false, pervasive = false} (decl lthy) lthy)
   |> Local_Theory.exit_global;