diff --git a/test.smt2 b/test.smt2
deleted file mode 100644
index 7bcb70d3c..000000000
--- a/test.smt2
+++ /dev/null
@@ -1,5 +0,0 @@
-(set-logic ALL)
-(set-option :produce-models true)
-(declare-fun a (Int) Int)
-(check-sat)
-(get-model)