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

diff --git a/lock_server.cc b/lock_server.cc
index 522a917..0c3a6e9 100644
--- a/lock_server.cc
+++ b/lock_server.cc
@@ -34,7 +34,7 @@ lock_server::lock_server(rsm *r) : rsm_ (r) {
     rsm_->set_state_transfer(this);
 }
 
-void lock_server::revoker() [[noreturn]] {
+void lock_server::revoker () {
     while (1) {
         lock_protocol::lockid_t lid;
         revoke_fifo.deq(&lid);
@@ -62,7 +62,7 @@ void lock_server::revoker() [[noreturn]] {
     }
 }
 
-void lock_server::retryer() [[noreturn]] {
+void lock_server::retryer() {
     while (1) {
         lock_protocol::lockid_t lid;
         retry_fifo.deq(&lid);