--- a/src/Pure/System/scala.ML Tue May 26 12:09:36 2020 +0200
+++ b/src/Pure/System/scala.ML Tue May 26 19:59:13 2020 +0200
@@ -94,9 +94,7 @@
end;
val _ = Theory.setup
- (Thy_Output.antiquotation_verbatim_embedded \<^binding>\<open>scala_function\<close>
- (Scan.lift Parse.embedded_position) check_function #>
- ML_Antiquotation.inline_embedded \<^binding>\<open>scala_function\<close>
+ (ML_Antiquotation.inline_embedded \<^binding>\<open>scala_function\<close>
(Args.context -- Scan.lift Parse.embedded_position
>> (uncurry check_function #> ML_Syntax.print_string)) #>
ML_Antiquotation.value_embedded \<^binding>\<open>scala\<close>