# # # patch "vocab.cc" # from [09f8ef53a74e5bc5989d0e6155d2daca2e124dd1] # to [321f9118a2194a0a8b3314af70836e4ac760039f] # ============================================================ --- vocab.cc 09f8ef53a74e5bc5989d0e6155d2daca2e124dd1 +++ vocab.cc 321f9118a2194a0a8b3314af70836e4ac760039f @@ -211,7 +211,7 @@ template <> * string. */ template <> -void dump (id const & obj, std::string & out) +void dump (id const & obj, std::string & out) { out = encode_hexenc(obj()); }