Fix: undefined reference to `typeinfo for simgrid::mc::SimcallInspector'

diff --git a/src/mc/checker/SimcallInspector.hpp b/src/mc/checker/SimcallInspector.hpp
index 0771540..940578c 100644 (file)
--- 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.
    */
    * 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. */
 
   /** 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. */