src/Pure/ML/ml_thms.ML

--- a/src/Pure/ML/ml_thms.ML	Thu Apr 08 20:52:19 2021 +0200
+++ b/src/Pure/ML/ml_thms.ML	Fri Apr 09 21:07:11 2021 +0200
@@ -45,7 +45,7 @@
       let val i = serial () in
         ctxt
         |> put_attributes (i, srcs)
-        |> ML_Context.value_decl "attributes"
+        |> ML_Antiquotation.value_decl "attributes"
             ("ML_Thms.the_attributes ML_context " ^ string_of_int i)
       end));