diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-08-14 11:27:19 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-08-14 11:27:19 +0200 |
| commit | 03500748192dc93583c0e0f95640865603650714 (patch) | |
| tree | ca2a7fda2451656a9be78763ac741d6e14253c3d /passes/sat | |
| parent | 84bf862f7c58c2b69babf043ff5032f924a3ee4d (diff) | |
| download | yosys-03500748192dc93583c0e0f95640865603650714.tar.gz yosys-03500748192dc93583c0e0f95640865603650714.tar.bz2 yosys-03500748192dc93583c0e0f95640865603650714.zip | |
Re-created command-reference-manual.tex, copied some doc fixes to online help
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 ed6526fba..c83286924 100644 --- a/passes/sat/sat.cc +++ b/passes/sat/sat.cc @@ -990,7 +990,7 @@ struct SatPass : public Pass { log("is passed, a temporal induction proof is performed.\n"); log("\n"); log(" -tempinduct\n"); - log(" Perform a temporal induction proof. In a temporalinduction proof it is\n"); + log(" Perform a temporal induction proof. In a temporal induction proof it is\n"); log(" proven that the condition holds forever after the number of time steps\n"); log(" specified using -seq.\n"); log("\n"); |