diff options
author | Adam Chlipala <adamc@csail.mit.edu> | 2016-08-08 13:53:17 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@csail.mit.edu> | 2016-08-08 13:53:17 -0400 |
commit | 3bcc7ed859aecb758742b0cf23cae98214938012 (patch) | |
tree | 46073db802bf4240c2d7336e4d0ef13a864e66d6 | |
parent | 8bd305270a83f8794859108b3e8eb200971a7521 (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.js | 3 |
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) { |