# HG changeset patch # User Adam Chlipala # Date 1313357958 14400 # Node ID ade93cd5bc5904035077c1a5014917157e4a1352 # Parent e627bab3eda7706325dae97eb7159f06a5ae176e Fix bug with as first child of diff -r e627bab3eda7 -r ade93cd5bc59 lib/js/urweb.js --- a/lib/js/urweb.js Sun Aug 14 16:46:36 2011 -0400 +++ b/lib/js/urweb.js Sun Aug 14 17:39:18 2011 -0400 @@ -385,6 +385,37 @@ freeClosure(ls.data); } +// Sometimes we wind up with tables that contain