src/Pure/library.ML
changeset 2978 83a4c4f79dcd
parent 2958 7837471d2f27
child 3063 963e3bf01799
     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);