X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/e0c49ff6ba44cf5b47ab91d58b67763f5a1c7a58..02967a43024ce81912cd1ec96a800397457f8066:/rsm.h

diff --git a/rsm.h b/rsm.h
index dfbb25c..487a856 100644
--- a/rsm.h
+++ b/rsm.h
@@ -71,7 +71,7 @@ class rsm : public config_view_change {
         void set_state_transfer(rsm_state_transfer *_stf) { stf = _stf; }
         void commit_change(unsigned vid);
 
-        template<class P, class F, class C=void> void reg(rpc_protocol::proc_t<P> proc, F f, C *c=nullptr) {
+        template<class P, class F, class C=void> void reg(rpc_protocol::proc_checked_t<P> proc, F f, C *c=nullptr) {
             static_assert(is_valid_registration<P, F>::value, "RSM handler registered with incorrect argument types");
             lock ml(rsm_mutex);
             procs[proc.id] = marshalled_func<F>::wrap(f, c);