diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-08-02 16:03:18 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-08-02 18:14:21 +0200 |
| commit | 768eb846c4473040dc07bf62ce631c8a21474ae8 (patch) | |
| tree | 9f5b1c860360b0bdd488cc668d80d44c84aca822 /passes/sat | |
| parent | 08392aad8f8e7c5bbcfa010c19786b1f318028b6 (diff) | |
More bugfixes related to new RTLIL::IdString
Diffstat (limited to 'passes/sat')
| -rw-r--r-- | passes/sat/miter.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/passes/sat/miter.cc b/passes/sat/miter.cc index 1475b855..e51c92f9 100644 --- a/passes/sat/miter.cc +++ b/passes/sat/miter.cc @@ -59,9 +59,9 @@ static void create_miter_equiv(struct Pass *that, std::vector<std::string> args, if (argidx+3 != args.size() || args[argidx].substr(0, 1) == "-") that->cmd_error(args, argidx, "command argument error"); - std::string gold_name = RTLIL::escape_id(args[argidx++]); - std::string gate_name = RTLIL::escape_id(args[argidx++]); - std::string miter_name = RTLIL::escape_id(args[argidx++]); + RTLIL::IdString gold_name = RTLIL::escape_id(args[argidx++]); + RTLIL::IdString gate_name = RTLIL::escape_id(args[argidx++]); + RTLIL::IdString miter_name = RTLIL::escape_id(args[argidx++]); if (design->modules_.count(gold_name) == 0) log_cmd_error("Can't find gold module %s!\n", gold_name.c_str()); |