diff --git a/src/assert.h b/src/assert.h
index 2f2a120..7bd2209 100644
--- a/src/assert.h
+++ b/src/assert.h
@@ -22,4 +22,6 @@
 #include_next <assert.h>
 #undef assert
 #include <stdexcept>
-#define assert(cond) ((cond) ? void(0) : throw std::runtime_error("Failed assert: " #cond))
+#define assert(cond) \
+    ((cond) ? void(0) : throw std::runtime_error( \
+        std::string("Circuit constraint violated in ") + __FILE__ + ":" + std::to_string(__LINE__) + ": " + #cond))