Working on g++ compatibility
[invirt/third/libt4.git] / config.h
index 73940a0..7124a6e 100644 (file)
--- a/config.h
+++ b/config.h
@@ -41,7 +41,7 @@ class config : public paxos_change {
         void restore(const string &s);
         bool add(const string &, unsigned view_id);
         bool ismember(const string &m, unsigned view_id);
-        void heartbeater(void);
+        void heartbeater NORETURN ();
         void paxos_commit(unsigned instance, const string &v);
         rpcs *get_rpcs() { return paxos.get_rpcs(); }
         void breakpoint(int b) { paxos.breakpoint(b); }