made SML/NJ happy
authorhaftmann
Tue Jun 02 08:56:19 2009 +0200 (2009-06-02)
changeset 313583e640334a1b3
parent 31357 df6acdd9dd37
child 31362 edf74583715a
made SML/NJ happy
src/Pure/Isar/attrib.ML
     1.1 --- a/src/Pure/Isar/attrib.ML	Mon Jun 01 16:27:54 2009 -0700
     1.2 +++ b/src/Pure/Isar/attrib.ML	Tue Jun 02 08:56:19 2009 +0200
     1.3 @@ -240,7 +240,8 @@
     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 +val rename_abs : (Context.generic * thm -> Context.generic * thm) parser =
     1.9 +  Scan.repeat (Args.maybe Args.name) >> (apsnd o Drule.rename_bvars');
    1.10  
    1.11  
    1.12  (* unfold / fold definitions *)