diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-11-09 10:44:23 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-11-09 10:44:23 +0100 |
| commit | fe829bdbdc436f425e082ab1cc8c3d276f168945 (patch) | |
| tree | 5d73123ffc07ec247e095c76f65bd4800f567d1b /passes/sat/eval.cc | |
| parent | cb9e10b4624e6ba6fff215766790e3ff3b82e9a8 (diff) | |
Added log_warning() API
Diffstat (limited to 'passes/sat/eval.cc')
| -rw-r--r-- | passes/sat/eval.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/sat/eval.cc b/passes/sat/eval.cc index 7a5a02a9..62534ec0 100644 --- a/passes/sat/eval.cc +++ b/passes/sat/eval.cc @@ -277,7 +277,7 @@ struct VlogHammerReporter while (!ce.eval(sig, undef)) { // log_error("Evaluation of y in module %s failed: sig=%s, undef=%s\n", RTLIL::id2cstr(module->name), log_signal(sig), log_signal(undef)); - log("Warning: Setting signal %s in module %s to undef.\n", log_signal(undef), RTLIL::id2cstr(module->name)); + log_warning("Setting signal %s in module %s to undef.\n", log_signal(undef), RTLIL::id2cstr(module->name)); ce.set(undef, RTLIL::Const(RTLIL::State::Sx, undef.size())); } |