use extra_args

This commit is contained in:
N. Engelhardt 2019-12-18 12:30:30 +01:00
parent abcd82daca
commit 3671ecc7d0
1 changed files with 1 additions and 1 deletions

View File

@ -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