Working on g++ compatibility
[invirt/third/libt4.git] / rsm.h
diff --git a/rsm.h b/rsm.h
index b402bab..14dc011 100644 (file)
--- 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) {