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

diff --git a/config.h b/config.h
index 73940a0..7124a6e 100644
--- 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); }