diff --git a/regression/cprover/contracts/check_postcondition6.desc b/regression/cprover/contracts/check_postcondition6.desc
index fc11b9f4e75..665b372c363 100644
--- a/regression/cprover/contracts/check_postcondition6.desc
+++ b/regression/cprover/contracts/check_postcondition6.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 check_postcondition6.c
 
 ^EXIT=0$