#
#
# patch "vocab.cc"
#  from [3fb4739ee7c9703642bf2e73345d70f6bedf90b2]
#    to [842d7558aa658249160db34543481792f4a7a081]
#
============================================================
--- vocab.cc	3fb4739ee7c9703642bf2e73345d70f6bedf90b2
+++ vocab.cc	842d7558aa658249160db34543481792f4a7a081
@@ -61,6 +61,9 @@ verify(hexenc<id> & val)
 inline void
 verify(hexenc<id> & val)
 {
+  if (val.ok)
+    return;
+
   if (val().empty())
     return;