From c7e57aeb1a9fdbc69f65e7af63f20309ca3a8dc5 Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Wed, 9 Jun 2021 21:01:44 -0400
Subject: [PATCH] removed verilator lint_off WIDTH

---
 wally-pipelined/config/shared/wally-shared.vh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/wally-pipelined/config/shared/wally-shared.vh b/wally-pipelined/config/shared/wally-shared.vh
index b6fd7faf1..30db98f0f 100644
--- a/wally-pipelined/config/shared/wally-shared.vh
+++ b/wally-pipelined/config/shared/wally-shared.vh
@@ -42,6 +42,5 @@
 // Disable spurious Verilator warnings
 
 /* verilator lint_off STMTDLY */
-/* verilator lint_off WIDTH */
 /* verilator lint_off ASSIGNDLY */
 /* verilator lint_off PINCONNECTEMPTY */