diff --git a/tests/unknown/bug37.smt2 b/tests/unknown/bug37.smt2.ignore
similarity index 100%
rename from tests/unknown/bug37.smt2
rename to tests/unknown/bug37.smt2.ignore