From f764cd16556b638b2857a3df9b77281c1bf872a0 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 25 Nov 2022 14:27:30 +0100
Subject: [PATCH] update documentation

---
 frontends/verific/verific.cc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 1eab9931f..1e61b3a31 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2541,10 +2541,10 @@ struct VerificPass : public Pass {
 		log("is printed, such as VERI-1209.\n");
 		log("\n");
 		log("\n");
-		log("    verific -import [options] <top-module>..\n");
+		log("    verific -import [options] <top>..\n");
 		log("\n");
-		log("Elaborate the design for the specified top modules, import to Yosys and\n");
-		log("reset the internal state of Verific.\n");
+		log("Elaborate the design for the specified top modules or configurations, import to\n");
+		log("Yosys and reset the internal state of Verific.\n");
 		log("\n");
 		log("Import options:\n");
 		log("\n");