From ce5d04a42f865bc45612260d16ec994f20b626ad Mon Sep 17 00:00:00 2001
From: Jannis Harder <me@jix.one>
Date: Fri, 26 Sep 2025 18:39:32 +0200
Subject: [PATCH] hierarchy: Suggest more specific command to skip unsupported
 SVA

---
 passes/hierarchy/hierarchy.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/passes/hierarchy/hierarchy.cc b/passes/hierarchy/hierarchy.cc
index b3edcef94..ea68add18 100644
--- a/passes/hierarchy/hierarchy.cc
+++ b/passes/hierarchy/hierarchy.cc
@@ -1162,7 +1162,7 @@ struct HierarchyPass : public Pass {
 					if (!src.empty())
 						src += ": ";
 
-					log_error("%sProperty `%s' in module `%s' uses unsupported SVA constructs. See frontend warnings for details, run `delete */a:unsupported_sva' to ignore.\n",
+					log_error("%sProperty `%s' in module `%s' uses unsupported SVA constructs. See frontend warnings for details, run `chformal -remove a:unsupported_sva' to ignore.\n",
 						src, log_id(cell->name), log_id(mod->name));
 				}
 			}