From 9f54b2f895e29188d79a7ef0f47adb19fb78cc5a Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Mon, 16 Sep 2024 13:43:45 -0700
Subject: [PATCH] test elaboration/type_operator already works

The missing feature was added with #357.
---
 regression/verilog/elaboration/type_operator.desc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/regression/verilog/elaboration/type_operator.desc b/regression/verilog/elaboration/type_operator.desc
index f728bbb23..45cf876ca 100644
--- a/regression/verilog/elaboration/type_operator.desc
+++ b/regression/verilog/elaboration/type_operator.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 type_operator.sv
 --bound 0
 ^EXIT=0$
@@ -6,4 +6,3 @@ type_operator.sv
 --
 ^warning: ignoring
 --
-We need to add support for the System Verilog type operator.