src/Pure/proofterm.ML
changeset 39020 ac0f24f850c9
parent 37297 a1acd424645a
child 39687 4e9b6ada3a21
     1.1 --- a/src/Pure/proofterm.ML	Wed Sep 01 15:10:12 2010 +0200
     1.2 +++ b/src/Pure/proofterm.ML	Wed Sep 01 15:33:59 2010 +0200
     1.3 @@ -515,7 +515,7 @@
     1.4    | remove_types t = t;
     1.5  
     1.6  fun remove_types_env (Envir.Envir {maxidx, tenv, tyenv}) =
     1.7 -  Envir.Envir {maxidx = maxidx, tenv = Vartab.map (apsnd remove_types) tenv, tyenv = tyenv};
     1.8 +  Envir.Envir {maxidx = maxidx, tenv = Vartab.map (K (apsnd remove_types)) tenv, tyenv = tyenv};
     1.9  
    1.10  fun norm_proof' env prf = norm_proof (remove_types_env env) prf;
    1.11