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