remove overhead for execution

[c11tester.git] / newfuzzer.cc

diff --git a/newfuzzer.cc b/newfuzzer.cc
index 8ec301107b643e09df443780961cd67c5df96b8e..027b7d4fec9c13858ada1dcc96882396eb62e98e 100644 (file)
--- a/newfuzzer.cc
+++ b/newfuzzer.cc
@@ -26,9 +26,9 @@ NewFuzzer::NewFuzzer() :
 /**
  * @brief Register the ModelHistory and ModelExecution engine
  */
-void NewFuzzer::register_engine(ModelExecution *execution)
+void NewFuzzer::register_engine(ModelChecker *_model, ModelExecution *execution)
 {
-       this->history = model->get_history();
+       this->history = _model->get_history();
        this->execution = execution;
 }