nonfix >>;
authorwenzelm
Thu Mar 27 12:06:26 2008 +0100 (2008-03-27)
changeset 264213dfb36923a56
parent 26420 57a626f64875
child 26422 d5883907c514
nonfix >>;
src/Pure/context.ML
     1.1 --- a/src/Pure/context.ML	Thu Mar 27 00:27:16 2008 +0100
     1.2 +++ b/src/Pure/context.ML	Thu Mar 27 12:06:26 2008 +0100
     1.3 @@ -526,6 +526,7 @@
     1.4  fun set_thread_data context = Multithreading.put_data (tag, context);
     1.5  fun setmp_thread_data context = Library.setmp_thread_data tag (thread_data ()) context;
     1.6  
     1.7 +nonfix >>;
     1.8  fun >> f = set_thread_data (SOME (map_theory f (the_thread_data ())));
     1.9  
    1.10  end;