X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/6b5e09540e9392a7015fae1ad3b01b0973600ff2..4e881433f37417ccbda89c09ffdf936855d462d4:/rsm.h

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) {