renamed set_ap to setmp;
authorwenzelm
Thu Apr 17 18:45:43 1997 +0200 (1997-04-17)
changeset 297883a4c4f79dcd
parent 2977 6c035c126d7f
child 2979 db6941221197
renamed set_ap to setmp;
src/Pure/library.ML
     1.1 --- a/src/Pure/library.ML	Thu Apr 17 18:17:23 1997 +0200
     1.2 +++ b/src/Pure/library.ML	Thu Apr 17 18:45:43 1997 +0200
     1.3 @@ -142,7 +142,7 @@
     1.4  fun reset flag = (flag := false; false);
     1.5  fun toggle flag = (flag := not (! flag); ! flag);
     1.6  
     1.7 -fun set_ap flag value f x =
     1.8 +fun setmp flag value f x =
     1.9    let
    1.10      val orig_value = ! flag;
    1.11      fun return y = (flag := orig_value; y);