fix bad indentation

2018-12-05 21:00:53 -07:00
parent a608857d52
commit 478e5fd9b4
1 changed files with 3 additions and 4 deletions
@@ -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; \
    }