diff --git a/kernel/register.cc b/kernel/register.cc
index b5485e06d..3ccb5ee78 100644
--- a/kernel/register.cc
+++ b/kernel/register.cc
@@ -1002,7 +1002,7 @@ struct LicensePass : public Pass {
 		log("This command produces the following notice.\n");
 		notice();
 	}
-	void execute(std::vector<std::string> args, RTLIL::Design*) override
+	void execute(std::vector<std::string>, RTLIL::Design*) override
 	{
 		notice();
 	}