src/Pure/ML/ml_thms.ML
changeset 58028 e4250d370657
parent 58011 bc6bced136e5
child 58033 154ae20ead35
--- a/src/Pure/ML/ml_thms.ML	Thu Aug 21 13:46:29 2014 +0200
+++ b/src/Pure/ML/ml_thms.ML	Thu Aug 21 22:48:39 2014 +0200
@@ -41,7 +41,7 @@
 (* attribute source *)
 
 val _ = Theory.setup
-  (ML_Antiquotation.declaration @{binding attributes} (Scan.lift Parse_Spec.attribs)
+  (ML_Antiquotation.declaration @{binding attributes} (Scan.lift Parse.attribs)
     (fn _ => fn raw_srcs => fn ctxt =>
       let
         val i = serial ();