diff --git a/regression/ebmc-spot/sva-buechi/disable_iff1.bdd.desc b/regression/ebmc-spot/sva-buechi/disable_iff1.bdd.desc
index fca389d5d..2cbb853be 100644
--- a/regression/ebmc-spot/sva-buechi/disable_iff1.bdd.desc
+++ b/regression/ebmc-spot/sva-buechi/disable_iff1.bdd.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 ../../verilog/SVA/disable_iff1.sv
 --buechi --module main --bdd --numbered-trace
 ^\[main\.p0\] always \(disable iff \(main.counter == 0\) main\.counter != 0\): PROVED$