From 11f44b2f4c4d7b685e400a2ad9e3c69dec6d8c95 Mon Sep 17 00:00:00 2001 From: Alain Dargelas Date: Wed, 20 Nov 2024 22:00:19 -0800 Subject: [PATCH] For Loop info --- frontends/verific/verific.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 701447ec62c..41c49fcc2f1 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2918,9 +2918,9 @@ std::set import_tops(const char* work, std::mapAccept(loop_visitor); } #endif