tree 6834b5bf2702562ec143148908dcf12258c5af67
parent e0dc3397edc1376e226840fee81443dae83da0c7
author Jeff Thompson <jefft0@gmail.com> 1386808805 -0800
committer Jeff Thompson <jefft0@gmail.com> 1386808805 -0800

Der encoding: DerNode::accept is not const, so we need a list of non-const children.