summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@csail.mit.edu>2016-08-08 13:53:17 -0400
committerGravatar Adam Chlipala <adamc@csail.mit.edu>2016-08-08 13:53:17 -0400
commit3bcc7ed859aecb758742b0cf23cae98214938012 (patch)
tree46073db802bf4240c2d7336e4d0ef13a864e66d6
parent8bd305270a83f8794859108b3e8eb200971a7521 (diff)
Remove a check that was actually always passing because it was on the wrong object; this helps explain why the last change was necessary
-rw-r--r--lib/js/urweb.js3
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index b871b8e5..95fd6756 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -762,8 +762,7 @@ function sv(s, v) {
s.data = v;
for (var ls = s.dyns; ls; ls = ls.next)
- if (!ls.dead)
- populate(ls.data);
+ populate(ls.data);
}
}
function sg(s) {