src/Pure/Tools/named_theorems.ML

--- a/src/Pure/Tools/named_theorems.ML	Wed Dec 06 14:19:36 2017 +0100
+++ b/src/Pure/Tools/named_theorems.ML	Wed Dec 06 15:46:35 2017 +0100
@@ -98,7 +98,7 @@
 
 val _ = Theory.setup
   (ML_Antiquotation.inline @{binding named_theorems}
-    (Args.context -- Scan.lift (Parse.position Args.name) >>
+    (Args.context -- Scan.lift (Parse.position Args.embedded) >>
       (fn (ctxt, name) => ML_Syntax.print_string (check ctxt name))));
 
 end;