From fb28003dca4ad8c16f15cae40ab1e20f2a0261d5 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Fri, 26 Sep 2025 01:16:33 -0700
Subject: [PATCH] Test structs/array_in_struct1.desc works

The issue was fixed by #1251
---
 regression/verilog/structs/array_in_struct1.desc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/regression/verilog/structs/array_in_struct1.desc b/regression/verilog/structs/array_in_struct1.desc
index 4a1618402..a908f6225 100644
--- a/regression/verilog/structs/array_in_struct1.desc
+++ b/regression/verilog/structs/array_in_struct1.desc
@@ -1,7 +1,6 @@
-KNOWNBUG
+CORE
 array_in_struct1.sv
 
 ^EXIT=0$
 ^SIGNAL=0$
 --
-This fails in the typechecker.