# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 744677040 0
# Node ID 23d5b09bd218b90df13289c93e86ce92f4a236e0
# Parent  600d0d832d99a8f449d3b8b676fa2fdf01d1405a
(unwind_to_catch): Call set_poll_suppress_count.

diff -r 600d0d832d99 -r 23d5b09bd218 src/eval.c
--- a/src/eval.c	Fri Aug 06 22:15:45 1993 +0000
+++ b/src/eval.c	Fri Aug 06 22:44:00 1993 +0000
@@ -913,10 +913,7 @@
   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
     {