X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execution.cc;fp=execution.cc;h=47a6ebbff7b76dfbbd7f0ec9898606e4f469d29e;hb=63c96bfb56ee71259fcbb4d57a2350424944e28a;hp=c8c4b89ac2910abd7024b531ea1bed5e97187faa;hpb=823d6e43187ba7ba3ff802f0ef9306faa51fe5f9;p=model-checker.git

diff --git a/execution.cc b/execution.cc
index c8c4b89..47a6ebb 100644
--- 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),