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

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 */