src/Pure/ML/ml_thms.ML

--- 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 ();