--- a/src/Pure/Isar/named_target.ML Sun Jan 24 14:57:42 2016 +0100
+++ b/src/Pure/Isar/named_target.ML Sun Jan 24 14:58:56 2016 +0100
@@ -86,7 +86,7 @@
| abbrev (locale, false) = Generic_Target.locale_abbrev locale
| abbrev (class, true) = Class.abbrev class;
-fun declaration ("", _) flags decl = Generic_Target.theory_declaration decl
+fun declaration ("", _) _ decl = Generic_Target.theory_declaration decl
| declaration (locale, _) flags decl = Generic_Target.locale_declaration locale flags decl;
fun theory_registration ("", _) = Generic_Target.theory_registration