From 03500748192dc93583c0e0f95640865603650714 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 14 Aug 2015 11:27:19 +0200
Subject: Re-created command-reference-manual.tex, copied some doc fixes to
online help
---
passes/sat/sat.cc | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
(limited to 'passes/sat')
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");
--
cgit v1.2.3