From 03500748192dc93583c0e0f95640865603650714 Mon Sep 17 00:00:00 2001 From: Clifford Wolf 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 ed6526fb..c8328692 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