diff --git a/regression/contracts/quantifiers-exists-ensures-02/test.desc b/regression/contracts/quantifiers-exists-ensures-02/test.desc
index 1fb79381f6f..473f8e20622 100644
--- a/regression/contracts/quantifiers-exists-ensures-02/test.desc
+++ b/regression/contracts/quantifiers-exists-ensures-02/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.c
 --enforce-all-contracts
 ^EXIT=10$