src/Pure/Isar/isar_syn.ML
changeset 21269 c605503bb4ef
parent 21228 54faccb5d6f6
child 21306 7ab6e95e6b0b
     1.1 --- a/src/Pure/Isar/isar_syn.ML	Thu Nov 09 18:58:52 2006 +0100
     1.2 +++ b/src/Pure/Isar/isar_syn.ML	Thu Nov 09 21:44:27 2006 +0100
     1.3 @@ -221,7 +221,7 @@
     1.4      (P.opt_locale_target -- opt_mode --
     1.5        Scan.repeat1 (Scan.option constdecl -- P.prop)
     1.6      >> (fn ((loc, mode), args) =>
     1.7 -        Toplevel.local_theory loc (Specification.abbreviation mode args)));
     1.8 +        Toplevel.local_theory loc (snd o Specification.abbreviation mode args)));
     1.9  
    1.10  val notationP =
    1.11    OuterSyntax.command "notation" "variable/constant syntax" K.thy_decl