From 3671ecc7d0b3792c61ceee858435b3b75ad4739c Mon Sep 17 00:00:00 2001
From: "N. Engelhardt" <nak@symbioticeda.com>
Date: Wed, 18 Dec 2019 12:30:30 +0100
Subject: [PATCH] use extra_args

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

diff --git a/passes/cmds/scratchpad.cc b/passes/cmds/scratchpad.cc
index 805badc7e..7ec55b78e 100644
--- a/passes/cmds/scratchpad.cc
+++ b/passes/cmds/scratchpad.cc
@@ -122,9 +122,9 @@ struct ScratchpadPass : public Pass {
 					log_error("Assertion failed: scratchpad entry '%s' is defined\n", identifier.c_str());
 				continue;
 			}
-			log("Unrecognized argument: %s\n", args[argidx].c_str());
 			break;
 		}
+		extra_args(args, argidx, design, false);
 	}
 } ScratchpadPass;
 PRIVATE_NAMESPACE_END
-- 
2.30.2