diff --git a/src/include/deepstate/DeepState.h b/src/include/deepstate/DeepState.h
index 23d1f4b..1020910 100644
--- a/src/include/deepstate/DeepState.h
+++ b/src/include/deepstate/DeepState.h
@@ -236,10 +236,10 @@ DEEPSTATE_INLINE static void DeepState_Check(int expr) {
         tname low, tname high) { \
       tname x = DeepState_ ## Tname(); \
       if (!(DeepState_UsingLibFuzzer || HAS_FLAG_input_test_file \
-	    || HAS_FLAG_input_test_dir || HAS_FLAG_input_test_files_dir)) \
+            || HAS_FLAG_input_test_dir || HAS_FLAG_input_test_files_dir)) \
         (void) DeepState_Assume(low <= x && x <= high); \
       else \
-	x = low + (x%((high+1)-low)); \
+        x = low + (x%((high+1)-low)); \
       return x; \
     }
 
diff --git a/src/lib/DeepState.c b/src/lib/DeepState.c
index b872fa5..26c9fee 100644
--- a/src/lib/DeepState.c
+++ b/src/lib/DeepState.c
@@ -299,8 +299,8 @@ void _DeepState_Assume(int expr, const char *expr_str, const char *file,
                        unsigned line) {
   if (!expr) {
     DeepState_LogFormat(DeepState_LogError,
-                      "%s(%u): Assumption %s failed",
-                      file, line, expr_str);    
+                        "%s(%u): Assumption %s failed",
+                        file, line, expr_str);    
     DeepState_Abandon("Assumption failed");
   }
 }