diff options
| author | Ruben Undheim <ruben.undheim@gmail.com> | 2014-09-06 08:47:06 +0200 |
|---|---|---|
| committer | Ruben Undheim <ruben.undheim@gmail.com> | 2014-09-06 08:47:06 +0200 |
| commit | 79cbf9067c07ed810b3466174278d77b9a05b46d (patch) | |
| tree | b546123251d39df2ffd115fb0b8a08e57e7cf538 /passes/sat | |
| parent | 01ef34c147dd3e3e3d13864f9c726727a4013207 (diff) | |
| download | yosys-79cbf9067c07ed810b3466174278d77b9a05b46d.tar.gz yosys-79cbf9067c07ed810b3466174278d77b9a05b46d.tar.bz2 yosys-79cbf9067c07ed810b3466174278d77b9a05b46d.zip | |
Corrected spelling mistakes found by lintian
Diffstat (limited to 'passes/sat')
| -rw-r--r-- | passes/sat/sat.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc index 08ae9e929..fd0abf4a5 100644 --- a/passes/sat/sat.cc +++ b/passes/sat/sat.cc @@ -874,7 +874,7 @@ struct SatPass : public Pass { log(" -set-def-at <N> <signal>\n"); log(" -set-any-undef-at <N> <signal>\n"); log(" -set-all-undef-at <N> <signal>\n"); - log(" add undef contraints in the given timestep.\n"); + log(" add undef constraints in the given timestep.\n"); log("\n"); log(" -set-init <signal> <value>\n"); log(" set the initial value for the register driving the signal to the value\n"); |