src/Pure/Isar/attrib.ML
changeset 36959 f5417836dbea
parent 36950 75b8f26f2f07
child 37198 3af985b10550
     1.1 --- a/src/Pure/Isar/attrib.ML	Mon May 17 15:05:32 2010 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Mon May 17 15:11:25 2010 +0200
     1.3 @@ -47,9 +47,6 @@
     1.4  structure Attrib: ATTRIB =
     1.5  struct
     1.6  
     1.7 -structure T = OuterLex;
     1.8 -
     1.9 -
    1.10  (* source and bindings *)
    1.11  
    1.12  type src = Args.src;
    1.13 @@ -216,7 +213,7 @@
    1.14  
    1.15  (* internal *)
    1.16  
    1.17 -fun internal att = Args.src (("Pure.attribute", [T.mk_attribute att]), Position.none);
    1.18 +fun internal att = Args.src (("Pure.attribute", [Token.mk_attribute att]), Position.none);
    1.19  
    1.20  
    1.21  (* rule composition *)