diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_debug.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_debug.h
index 3834b5114537397fc8a2546dfdfd055d03f7a83f..0a047997ee727b9d147c2b64f21432c5771cd640 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_debug.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_debug.h
@@ -73,7 +73,7 @@ static int dlog_fd = -1;
 #endif
 
 /*! \brief Debug-time assertion based on assert (see e_acsl_assert.h) */
-#define DASSERT(_e) vassert(_e,"",NULL)
+#define DASSERT(_e) vassert(_e,TOSTRING(_e),NULL)
 
 /*! \brief Debug-time assertion based on vassert (see e_acsl_assert.h) */
 #define DVASSERT(_expr, _fmt, ...) vassert(_expr, _fmt, __VA_ARGS__)