From d8490fabe30b9c9302c9d345054098c15ee90e94 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 27 Aug 2019 10:46:28 +0200
Subject: [PATCH] Fix: undefined reference to `typeinfo for
 simgrid::mc::SimcallInspector'

---
 src/mc/checker/SimcallInspector.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mc/checker/SimcallInspector.hpp b/src/mc/checker/SimcallInspector.hpp
index 07715401e9..940578c290 100644
--- a/src/mc/checker/SimcallInspector.hpp
+++ b/src/mc/checker/SimcallInspector.hpp
@@ -26,7 +26,7 @@ public:
    * For example, if it's a random(), choose the value to explore next. If it's a waitany, choose the terminated
    * communication to consider now.
    */
-  virtual void fire();
+  virtual void fire() = 0;
 
   /** Some simcalls may only be observable under some circomstances.
    * Most simcalls are not visible from the MC because they don't have an inspector at all. */
-- 
2.20.1