Spell check (by Larry Doolittle)

1 files changed, 1 insertions, 1 deletions

diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index 16ec88fe0..ed6526fba 100644
--- a/passes/sat/sat.cc
+++ b/passes/sat/sat.cc
@@ -1017,7 +1017,7 @@ struct SatPass : public Pass {
 		log("\n");
 		log("    -prove-x <signal> <value>\n");
 		log("        Like -prove, but an undef (x) bit in the lhs matches any value on\n");
-		log("        the right hand side. Useful for equivialence checking.\n");
+		log("        the right hand side. Useful for equivalence checking.\n");
 		log("\n");
 		log("    -prove-asserts\n");
 		log("        Prove that all asserts in the design hold.\n");