From 3c1ea266250fa2636516c71345140c91fa3f7907 Mon Sep 17 00:00:00 2001
From: Hansung Kim <hansung_kim@berkeley.edu>
Date: Wed, 7 Aug 2024 11:17:57 -0700
Subject: [PATCH] vcs.mk: Squelch unnamed assertion lint message

---
 sims/vcs/vcs.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sims/vcs/vcs.mk b/sims/vcs/vcs.mk
index 258435b2..ef1cd786 100644
--- a/sims/vcs/vcs.mk
+++ b/sims/vcs/vcs.mk
@@ -39,7 +39,7 @@ VCS_NONCC_OPTS = \
 	-j36 \
 	-notice \
 	-line \
-	+lint=all,noVCDE,noONGS,noUI,noPCTIO-L,noPCTI-L,noNS \
+	+lint=all,noVCDE,noONGS,noUI,noPCTIO-L,noPCTI-L,noNS,noSVA-UA \
 	-error=PCWM-L \
 	-error=noZMMCM \
 	-timescale=1ns/10ps \