Corrected spelling mistakes found by lintian

1 files changed, 1 insertions, 1 deletions

diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index 08ae9e92..fd0abf4a 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");