diff --git a/leak.smt2 b/leak.smt2
new file mode 100644
index 000000000..bf8c7b472
--- /dev/null
+++ b/leak.smt2
@@ -0,0 +1,2 @@
+(assert (< 0 (div 0 0)))
+(check-sat)
\ No newline at end of file