diff --git a/regression/cbmc/Array_UF21/test.desc b/regression/cbmc/Array_UF21/test.desc
index 8d4a044d982..e9d3c4ebe15 100644
--- a/regression/cbmc/Array_UF21/test.desc
+++ b/regression/cbmc/Array_UF21/test.desc
@@ -1,4 +1,4 @@
-CORE new-smt-backend
+CORE
 main.c
 --arrays-uf-always --bounds-check
 ^VERIFICATION FAILED$