(unwind_to_catch): Call set_poll_suppress_count.

diff --git a/src/eval.c b/src/eval.c
index cbd73a7..0a5998b 100644 (file)
--- a/src/eval.c
+++ b/src/eval.c
@@ -913,10 +913,7 @@ unwind_to_catch (catch, value)
   catch->val = value;
 
   /* Restore the polling-suppression count.  */
-  if (catch->poll_suppress_count > poll_suppress_count)
-    abort ();
-  while (catch->poll_suppress_count < poll_suppress_count)
-    start_polling ();
+  set_poll_suppress_count (catch->poll_suppress_count);
 
   do
     {