--- a/src/Pure/PIDE/resources.ML Tue Nov 27 16:22:12 2018 +0100
+++ b/src/Pure/PIDE/resources.ML Tue Nov 27 21:07:39 2018 +0100
@@ -278,9 +278,9 @@
val _ = Theory.setup
(Thy_Output.antiquotation_verbatim \<^binding>\<open>session\<close>
- (Scan.lift (Parse.position Parse.embedded)) check_session #>
+ (Scan.lift Parse.embedded_position) check_session #>
Thy_Output.antiquotation_verbatim \<^binding>\<open>doc\<close>
- (Scan.lift (Parse.position Parse.embedded)) check_doc #>
+ (Scan.lift Parse.embedded_position) check_doc #>
Thy_Output.antiquotation_raw \<^binding>\<open>path\<close> (document_antiq check_path) (K I) #>
Thy_Output.antiquotation_raw \<^binding>\<open>file\<close> (document_antiq check_file) (K I) #>
Thy_Output.antiquotation_raw \<^binding>\<open>dir\<close> (document_antiq check_dir) (K I) #>