From 6a5a3a8f8ecddf4b3302039b6dbde915557b4234 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Tue, 6 May 2014 13:25:57 -0400
Subject: [PATCH] fix signed/unsigned warning

---
 params.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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