From e823253c18327f3f562898ed263ac43050ee0a4e Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Sat, 8 May 2021 10:09:28 +0000
Subject: [PATCH] Test contracts/quantifiers-exists-ensures-02 was fixed via
 c29b69ab49

---
 regression/contracts/quantifiers-exists-ensures-02/test.desc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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$