Index: /trunk/source/lisp-kernel/x86-gc.c
===================================================================
--- /trunk/source/lisp-kernel/x86-gc.c	(revision 13007)
+++ /trunk/source/lisp-kernel/x86-gc.c	(revision 13008)
@@ -3057,4 +3057,6 @@
     other_tcr = other_tcr->next;
   } while (other_tcr != tcr);
+  unprotect_watched_areas();
   wp_update_all_areas(old, new);
-}
+  protect_watched_areas();
+}