diff --git a/kernel/register.cc b/kernel/register.cc
index a1d81b408..f522773ac 100644
--- a/kernel/register.cc
+++ b/kernel/register.cc
@@ -914,7 +914,6 @@ struct HelpPass : public Pass {
 		// iterate over commands
 		for (auto &it : pass_register) {
 			auto name = it.first;
-			if (name.compare("verific") != 0 && name.find("chformal") == string::npos) continue;
 			auto pass = it.second;
 			auto title = pass->short_help;
 			auto experimental_flag = pass->experimental_flag;