From 179bd252356e54c36e997bab77a5dcc30dcacd47 Mon Sep 17 00:00:00 2001
From: Alain Dargelas <alain@silimate.com>
Date: Thu, 21 Nov 2024 11:23:13 -0800
Subject: [PATCH] Loop info

---
 Makefile                           | 2 +-
 frontends/verific/decorate_loops.h | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index bfe61d6f8..8787e029e 100644
--- a/Makefile
+++ b/Makefile
@@ -164,7 +164,7 @@ ifeq ($(OS), Haiku)
 CXXFLAGS += -D_DEFAULT_SOURCE
 endif
 
-YOSYS_VER := 0.47+86
+YOSYS_VER := 0.47+116
 
 # Note: We arrange for .gitcommit to contain the (short) commit hash in
 # tarballs generated with git-archive(1) using .gitattributes. The git repo
diff --git a/frontends/verific/decorate_loops.h b/frontends/verific/decorate_loops.h
index 9e54a9015..a169d7126 100644
--- a/frontends/verific/decorate_loops.h
+++ b/frontends/verific/decorate_loops.h
@@ -73,4 +73,4 @@ class DecorateLoopsVisitor : public VeriVisitor
 	std::stack<VeriLoop *> loopStack;
 	uint32_t outerLoopId = 0;
 };
-#endif
\ No newline at end of file
+#endif