This should help us sniff out bugs.

diff --git a/monitor.c b/monitor.c
index 80a71d17b35753a7e5d70e05822a2cdd929e90f3..4fdfbd72da0226bb4deff0dad397d74493ec22c4 100644 (file)
--- a/monitor.c
+++ b/monitor.c
@@ -138,6 +138,7 @@ void deallocate_value(value *v)
 /* destroy a value copy, only if its reference count is 1 */
 {
     (void) free(v->elements);
+    v->elements = (scalar *)NULL;
 }