diff --git a/regression/verilog/SVA/sequence4.desc b/regression/verilog/SVA/sequence4.desc
index bbd662bc..482f9580 100644
--- a/regression/verilog/SVA/sequence4.desc
+++ b/regression/verilog/SVA/sequence4.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 sequence4.sv
 --bound 10
 ^EXIT=10$
@@ -6,4 +6,3 @@ sequence4.sv
 --
 ^warning: ignoring
 --
-sequence concatenation is not supported by the BMC engine