changeset 62924 | ce47945ce4fb |
parent 62895 | 54c2abe7e9a4 |
child 63474 | f66e3c3b0fb1 |
--- a/src/Pure/PIDE/command.ML Sat Apr 09 14:00:23 2016 +0200 +++ b/src/Pure/PIDE/command.ML Sat Apr 09 14:11:31 2016 +0200 @@ -216,7 +216,7 @@ fun eval_state keywords span tr ({state, ...}: eval_state) = let - val _ = Multithreading.interrupted (); + val _ = Thread_Attributes.expose_interrupt (); val st = reset_state keywords tr state;