X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execution.cc;h=47a6ebbff7b76dfbbd7f0ec9898606e4f469d29e;hb=0a99a3c4c1c9aab7be017682b43ddf12d609ff4b;hp=c8c4b89ac2910abd7024b531ea1bed5e97187faa;hpb=133e215362162a6146b51fe9ac4eec749cc3c6c5;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),