# HG changeset patch # User Adam Chlipala # Date 1425827154 14400 # Node ID 248e2b32954b656cb4a6af7a4f2f5b385b0fccfe # Parent 8beeb4f761b591910cf9f7667b7b4d6eee023ef6 Fix dynClass JavaScript reversion diff -r 8beeb4f761b5 -r 248e2b32954b lib/js/urweb.js --- a/lib/js/urweb.js Sun Mar 08 10:55:05 2015 -0400 +++ b/lib/js/urweb.js Sun Mar 08 11:05:54 2015 -0400 @@ -1200,7 +1200,7 @@ x.dead = false; x.signal = s_class; x.sources = null; - x.closures = null; + x.closures = htmlCls; x.recreate = function(v) { for (var ls = x.closures; ls != htmlCls; ls = ls.next)