RemotePtr as the input parameter type in get_pattern_comm_data()

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

diff --git a/src/mc/checker/SimcallInspector.hpp b/src/mc/checker/SimcallInspector.hpp
index e4766a620f92be857f699e5eccf61acbd3daae66..3759a7fa2d8ccc7d5f2eca926b6e36afd3448bce 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. */