Index: /branches/purify/source/lisp-kernel/x86-exceptions.c
===================================================================
--- /branches/purify/source/lisp-kernel/x86-exceptions.c	(revision 13081)
+++ /branches/purify/source/lisp-kernel/x86-exceptions.c	(revision 13082)
@@ -3758,4 +3758,7 @@
     /* because wp_update_references doesn't update refbits */
     tenure_to_area(tenured_area);
+    /* Unwatching can (re-)introduce managed_static->dynamic references */
+    zero_bits(managed_static_area->refbits,managed_static_area->ndnodes);
+    update_managed_refs(managed_static_area, low_markable_address, area_dnode(active_dynamic_area->active, low_markable_address));
     check_all_areas(tcr);
     xpGPR(xp, Iarg_z) = new;