tree c0adbddc32f4ee5b9b22254b78b47ee33cf5de2e
parent 44929d0629a42bcb642f9ccc332a1198a4c987f4
author Jeff Thompson <jefft0@gmail.com> 1386810929 -0800
committer Jeff Thompson <jefft0@gmail.com> 1386810929 -0800

Der encoding: in PublicKeyVisitor, restore the use of dynamic_pointer_cast.