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