From 99e4b321bdcc334f206f3d7a12c471bd5dafb0b5 Mon Sep 17 00:00:00 2001
From: martin-neuhaeusser <martin.neuhaeusser@siemens.com>
Date: Wed, 7 Oct 2015 17:27:05 +0200
Subject: [PATCH] Fixed typo that accidentally prints warning message if a Z3
 context is created with the 'timeout' parameter

---
 src/cmd_context/context_params.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cmd_context/context_params.cpp b/src/cmd_context/context_params.cpp
index add1b5b3d..30b5a7c4b 100644
--- a/src/cmd_context/context_params.cpp
+++ b/src/cmd_context/context_params.cpp
@@ -66,7 +66,7 @@ void context_params::set(char const * param, char const * value) {
         long val = strtol(value, 0, 10);
         m_timeout = static_cast<unsigned>(val);
     }
-    if (p == "rlimit") {
+    else if (p == "rlimit") {
         long val = strtol(value, 0, 10);
         m_rlimit = static_cast<unsigned>(val);
     }