From 9bd1e6b7f0c7591ba6f58fb4d220ce69159d4494 Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Fri, 30 Nov 2018 12:52:02 -0700
Subject: [PATCH] fixup

---
 src/include/deepstate/DeepState.h | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/include/deepstate/DeepState.h b/src/include/deepstate/DeepState.h
index bcc03f9..23d1f4b 100644
--- a/src/include/deepstate/DeepState.h
+++ b/src/include/deepstate/DeepState.h
@@ -235,14 +235,11 @@ DEEPSTATE_INLINE static void DeepState_Check(int expr) {
     DEEPSTATE_INLINE static tname DeepState_ ## Tname ## InRange( \
         tname low, tname high) { \
       tname x = DeepState_ ## Tname(); \
-      DeepState_LogFormat(DeepState_LogInfo, "Computing a range"); \
       if (!(DeepState_UsingLibFuzzer || HAS_FLAG_input_test_file \
 	    || HAS_FLAG_input_test_dir || HAS_FLAG_input_test_files_dir)) \
         (void) DeepState_Assume(low <= x && x <= high); \
-      else { \
-        DeepState_LogFormat(DeepState_LogInfo, "Fixing value"); \
+      else \
 	x = low + (x%((high+1)-low)); \
-      } \
       return x; \
     }