This was not meant to be commited, sorry

[simgrid.git] / src / mc / checker / SimcallInspector.hpp

diff --git a/src/mc/checker/SimcallInspector.hpp b/src/mc/checker/SimcallInspector.hpp
index e4766a6..3759a7f 100644 (file)
--- a/src/mc/checker/SimcallInspector.hpp
+++ b/src/mc/checker/SimcallInspector.hpp
@@ -27,8 +27,6 @@ public:
    * If it's a random(), choose the next value to explore.
    */
   virtual void arm() {}
-  virtual void fire() {}
-  virtual bool is_dependend(SimcallInspector& other);
 
   /** Some simcalls may only be observable under some circumstances.
    * Most simcalls are not visible from the MC because they don't have an inspector at all. */