X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/c279db4240a3a3c30f069ab9dea8055cf94280da..5224670fe4e903bd507eabd486f8723353893bfa:/rpc/rpc.cc?ds=inline

diff --git a/rpc/rpc.cc b/rpc/rpc.cc
index e6ec410..80ec124 100644
--- a/rpc/rpc.cc
+++ b/rpc/rpc.cc
@@ -387,7 +387,6 @@ void rpcs::dispatch(shared_ptr<connection> c, const string & buf) {
         if (procs_.count(proc) < 1) {
             LOG << "unknown proc 0x" << std::hex << proc << " with h.srv_nonce=" << h.srv_nonce << ", my srv_nonce=" << nonce_;
             VERIFY(0);
-            return;
         }
 
         f = procs_[proc];