From 478e5fd9b451a2ee722156ce9590d7e3d7da7901 Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Wed, 5 Dec 2018 21:00:53 -0700
Subject: [PATCH] fix bad indentation

---
 src/include/deepstate/DeepState.h | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/src/include/deepstate/DeepState.h b/src/include/deepstate/DeepState.h
index d500837..11c4329 100644
--- a/src/include/deepstate/DeepState.h
+++ b/src/include/deepstate/DeepState.h
@@ -263,10 +263,9 @@ DEEPSTATE_INLINE static void DeepState_Check(int expr) {
       tname x = DeepState_ ## Tname(); \
       if (DeepState_UsingSymExec) { \
         (void) DeepState_Assume(low <= x && x <= high); \
-      } else { \
-        if ((x < low) || (x > high)) { \
-          const tname size = (high - low) + 1; \
-          x = low + (x % size); \
+      } else if ((x < low) || (x > high)) { \
+        const tname size = (high - low) + 1; \
+        x = low + (x % size); \
       } \
       return x; \
     }