made SML/NJ happy;
authorwenzelm
Mon Jun 01 13:32:54 2009 +0200 (2009-06-01)
changeset 3132389f218fcab2a
parent 31322 526e149999cc
child 31324 3ffa005c7701
made SML/NJ happy;
src/Pure/Isar/attrib.ML
     1.1 --- a/src/Pure/Isar/attrib.ML	Sun May 31 19:05:20 2009 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Mon Jun 01 13:32:54 2009 +0200
     1.3 @@ -240,7 +240,7 @@
     1.4  
     1.5  (* rename_abs *)
     1.6  
     1.7 -val rename_abs = Scan.repeat (Args.maybe Args.name) >> (apsnd o Drule.rename_bvars');
     1.8 +fun rename_abs x = (Scan.repeat (Args.maybe Args.name) >> (apsnd o Drule.rename_bvars')) x;
     1.9  
    1.10  
    1.11  (* unfold / fold definitions *)