From 59b6ac47c9121278c9259b82c68b38477ccb73ad Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 31 Oct 2022 18:04:34 +0100
Subject: [PATCH] Add additional help info

---
 frontends/verific/verific.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index fb5fc0c6c..6ef563929 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2439,6 +2439,8 @@ struct VerificPass : public Pass {
 		log("    verific {-liberty} <liberty-file>..\n");
 		log("\n");
 		log("Load the specified Liberty files into Verific.\n");
+		log("Default library when -work is not present is one specified in liberty file.\n");
+		log("To use from SystemVerilog or VHDL use -L to specify liberty library.");
 		log("\n");
 		log("    -lib\n");
 		log("        only create empty blackbox modules\n");