src/Pure/simplifier.ML
changeset 36545 5c5b5c7f1157
parent 36543 0e7fc5bf38de
child 36600 62d43ca574d0
     1.1 --- a/src/Pure/simplifier.ML	Thu Apr 29 23:55:43 2010 +0200
     1.2 +++ b/src/Pure/simplifier.ML	Fri Apr 30 17:18:29 2010 +0200
     1.3 @@ -108,7 +108,7 @@
     1.4  );
     1.5  
     1.6  val get_ss = SimpsetData.get;
     1.7 -val map_ss = SimpsetData.map;
     1.8 +fun map_ss f context = SimpsetData.map (with_context (Context.proof_of context) f) context;
     1.9  
    1.10  
    1.11  (* attributes *)