diff --git a/src/lib/DeepState.c b/src/lib/DeepState.c
index e6395ed..b872fa5 100644
--- a/src/lib/DeepState.c
+++ b/src/lib/DeepState.c
@@ -298,6 +298,9 @@ int32_t DeepState_MaxInt(int32_t v) {
 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);    
     DeepState_Abandon("Assumption failed");
   }
 }