diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-01-02 14:47:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-02 14:47:18 +0100 |
| commit | 16bb823db8116ea2da2c659f8b9b2e9e2b9f2fbf (patch) | |
| tree | 61971fdccdc1bb24169d78d0193eccc957232536 /frontends/verific | |
| parent | 4b9f619349e6b7452739631635ab3b5a4d94b522 (diff) | |
| parent | efa278e232d20ea080743801bd91d55ec62955cf (diff) | |
| download | yosys-16bb823db8116ea2da2c659f8b9b2e9e2b9f2fbf.tar.gz yosys-16bb823db8116ea2da2c659f8b9b2e9e2b9f2fbf.tar.bz2 yosys-16bb823db8116ea2da2c659f8b9b2e9e2b9f2fbf.zip | |
Merge pull request #769 from whitequark/typos
Fix typographical and grammatical errors and inconsistencies
Diffstat (limited to 'frontends/verific')
| -rw-r--r-- | frontends/verific/verificsva.cc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc index cdc9ece8c..6681115df 100644 --- a/frontends/verific/verificsva.cc +++ b/frontends/verific/verificsva.cc @@ -827,9 +827,9 @@ struct SvaFsm for (auto &it : nodes[i].edges) { if (it.second != State::S1) - log(" egde %s -> %d\n", log_signal(it.second), it.first); + log(" edge %s -> %d\n", log_signal(it.second), it.first); else - log(" egde -> %d\n", it.first); + log(" edge -> %d\n", it.first); } for (auto &it : nodes[i].links) { @@ -856,9 +856,9 @@ struct SvaFsm for (auto &it : unodes[i].edges) { if (!it.second.empty()) - log(" egde %s -> %d\n", log_signal(it.second), it.first); + log(" edge %s -> %d\n", log_signal(it.second), it.first); else - log(" egde -> %d\n", it.first); + log(" edge -> %d\n", it.first); } for (auto &ctrl : unodes[i].accept) { |