diff --git a/regression/cbmc/array-cell-sensitivity3/test_execution.desc b/regression/cbmc/array-cell-sensitivity3/test_execution.desc
index 4f8a74b4cea..52bf413ffd9 100644
--- a/regression/cbmc/array-cell-sensitivity3/test_execution.desc
+++ b/regression/cbmc/array-cell-sensitivity3/test_execution.desc
@@ -1,4 +1,4 @@
-CORE new-smt-backend
+CORE
 test.c
 
 ^VERIFICATION FAILED$