Bug: ModelExecution had bogus model_params reference.

[c11tester.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index c8c4b89ac2910abd7024b531ea1bed5e97187faa..47a6ebbff7b76dfbbd7f0ec9898606e4f469d29e 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -58,7 +58,7 @@ struct model_snapshot_members {
 
 /** @brief Constructor */
 ModelExecution::ModelExecution(ModelChecker *m,
-               struct model_params *params,
+               const struct model_params *params,
                Scheduler *scheduler,
                NodeStack *node_stack) :
        model(m),