src/Pure/Isar/code.ML

--- a/src/Pure/Isar/code.ML	Tue May 23 10:56:41 2023 +0200
+++ b/src/Pure/Isar/code.ML	Tue May 23 18:46:15 2023 +0200
@@ -1310,7 +1310,7 @@
 (* abstract code declarations *)
 
 fun code_declaration strictness lift_phi f x =
-  Local_Theory.declaration {syntax = false, pervasive = false}
+  Local_Theory.declaration {syntax = false, pervasive = false, pos = Position.thread_data ()}
     (fn phi => Context.mapping (f strictness (lift_phi phi x)) I);