1 files changed, 0 insertions, 15 deletions
diff --git a/src/rt/sync/fair_ticket_lock.h b/src/rt/sync/fair_ticket_lock.h
deleted file mode 100644
index c34c9041..00000000
--- a/src/rt/sync/fair_ticket_lock.h
+++ /dev/null
@@ -1,15 +0,0 @@
-#ifndef FAIR_TICKET_LOCK_H
-#define FAIR_TICKET_LOCK_H
-
-class fair_ticket_lock {
-    unsigned next_ticket;
-    unsigned now_serving;
-    void pause();
-public:
-    fair_ticket_lock();
-    virtual ~fair_ticket_lock();
-    void lock();
-    void unlock();
-};
-
-#endif /* FAIR_TICKET_LOCK_H */