From 983d6cb8386736d1090d67eb8e8d367d4013ed83 Mon Sep 17 00:00:00 2001
From: Fatima Saleem <fatima.saleem@10xengineers.ai>
Date: Fri, 8 Sep 2023 13:49:27 +0500
Subject: [PATCH] removing the lint off from makefile

---
 Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Makefile b/Makefile
index e9e3f9f157..f84263998b 100644
--- a/Makefile
+++ b/Makefile
@@ -541,7 +541,6 @@ verilate_command := $(verilator) verilator_config.vlt
                     -Wno-ASSIGNDLY                                                                               \
                     -Wno-DECLFILENAME                                                                            \
                     -Wno-UNUSED                                                                                  \
-                    -Wno-UNOPTFLAT                                                                               \
                     -Wno-BLKANDNBLK                                                                              \
                     -Wno-style                                                                                   \
                     $(if ($(PRELOAD)!=""), -DPRELOAD=1,)                                                         \