| changeset 21879 | a3efbae45735 |
| parent 21698 | 43a842769765 |
| child 22115 | cde511c2a625 |
--- a/src/Pure/Isar/attrib.ML Mon Dec 18 08:21:34 2006 +0100 +++ b/src/Pure/Isar/attrib.ML Mon Dec 18 08:21:35 2006 +0100 @@ -185,7 +185,7 @@ (** attribute syntax **) fun syntax scan src (st, th) = - let val (st', f) = Args.syntax "attribute" scan src st + let val (f, st') = Args.syntax "attribute" scan src st in f (st', th) end; fun no_args x = syntax (Scan.succeed x);