X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/d54215aea2a7321ab0f2dc7b0042fea2b7ff5df5..4e881433f37417ccbda89c09ffdf936855d462d4:/rsm.h?ds=inline

diff --git a/rsm.h b/rsm.h
index b402bab..14dc011 100644
--- a/rsm.h
+++ b/rsm.h
@@ -72,7 +72,7 @@ class rsm : public config_view_change {
 
         bool amiprimary();
         void set_state_transfer(rsm_state_transfer *_stf) { stf = _stf; }
-        void recovery();
+        void recovery NORETURN ();
         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) {