1 files changed, 6 insertions, 0 deletions
diff --git a/src/monitor.cc b/src/monitor.cc
index c665034..b9c6085 100644
--- a/src/monitor.cc
+++ b/src/monitor.cc
@@ -81,6 +81,12 @@ public:
     observers_.remove(observer);
   }
 
+#if FAKE_MONITOR
+  void toggle_fakes() override {
+    assert(false);
+  }
+#endif
+
 private:
   static Machine const EMPTY;