use extra_args

diff --git a/passes/cmds/scratchpad.cc b/passes/cmds/scratchpad.cc
index 805badc7ea3f8f551c8885f2e8afc78b0f626ba8..7ec55b78ebe78eb1b956e6570e091733e754c295 100644 (file)
--- 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