From eeaa5d9982afe4e8f5523e8b5858878313c78181 Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Fri, 27 Jan 2023 15:48:30 -0800
Subject: [PATCH] Removed unneeded lint directive from core

---
 pipelined/src/wally/wallypipelinedcore.sv | 2 --
 1 file changed, 2 deletions(-)

diff --git a/pipelined/src/wally/wallypipelinedcore.sv b/pipelined/src/wally/wallypipelinedcore.sv
index fa244b4f4..5c2c6efce 100644
--- a/pipelined/src/wally/wallypipelinedcore.sv
+++ b/pipelined/src/wally/wallypipelinedcore.sv
@@ -28,8 +28,6 @@
 
 import cvw::*;  // global CORE-V-Wally parameters
 
-/* verilator lint_on UNUSED */
-
 module wallypipelinedcore (
    input  logic                  clk, reset,
    // Privileged