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 loopStack; uint32_t outerLoopId = 0; }; -#endif \ No newline at end of file +#endif