From 8e598acb79f045b9e887972856106b9547bde695 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Mon, 16 Sep 2024 13:54:17 -0700
Subject: [PATCH] Verilog: test modules/parameters7 passes

---
 regression/verilog/modules/parameters7.desc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/regression/verilog/modules/parameters7.desc b/regression/verilog/modules/parameters7.desc
index 34f369cdf..82154aee3 100644
--- a/regression/verilog/modules/parameters7.desc
+++ b/regression/verilog/modules/parameters7.desc
@@ -1,8 +1,7 @@
-KNOWNBUG
+CORE
 parameters7.sv
 
 ^EXIT=0$
 ^SIGNAL=0$
 --
 --
-The test fails owing to the missing grammar for typing parameters.