X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=params.h;h=d5fd1cb3e0b6ff23815015bad429282d6f08bab5;hp=c5b617bc7d64222617d10d0091b45f923bdaf806;hb=HEAD;hpb=e79a7cd8e9c85d37a5d5c2a81ca14b1017b1b305

diff --git a/params.h b/params.h
index c5b617b..d5fd1cb 100644
--- a/params.h
+++ b/params.h
@@ -14,7 +14,7 @@ struct model_params {
 	unsigned int enabledcount;
 	unsigned int bound;
 	unsigned int uninitvalue;
-	unsigned int maxexecutions;
+	int maxexecutions;
 
 	/** @brief Maximum number of future values that can be sent to the same
 	 *  read */