Revert "remove plugins"

[c11tester.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index 8fba766ba2e518d0d2fa7ad996c5f7ee5f25b1c1..62a7346b56ee22055952bbf7f45bb367df3f117d 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -77,8 +77,8 @@ ModelExecution::ModelExecution(ModelChecker *m,
        mo_graph(new CycleGraph())
 {
        /* Initialize a model-checker thread, for special ModelActions */
-       model_thread = new Thread(get_next_id());       // L: Create model thread
-       add_thread(model_thread);                       // L: Add model thread to scheduler
+       model_thread = new Thread(get_next_id());
+       add_thread(model_thread);
        scheduler->register_engine(this);
        node_stack->register_engine(this);
 }