fixup cli option

Leo Alt · Leo Alt · commit 428bab639957 · 2021-10-13T19:33:48.000+02:00
diff --git a/solc/CommandLineParser.cpp b/solc/CommandLineParser.cpp
@@ -806,7 +806,7 @@ General Information)").c_str(),
 			g_strModelCheckerInvariants.c_str(),
 			po::value<string>()->value_name("default,all,contract,reentrancy")->default_value("default"),
 			"Select whether to report inferred contract inductive invariants."
-			"Multiple types of invariants can be selected at the same time, separated by a comma and no spaces."
+			" Multiple types of invariants can be selected at the same time, separated by a comma and no spaces."
 			" By default no invariants are reported."
 		)
 		(

Original file line number	Diff line number	Diff line change
`@@ -806,7 +806,7 @@ General Information)").c_str(),`
`806`	`806`	`g_strModelCheckerInvariants.c_str(),`
`807`	`807`	`po::value<string>()->value_name("default,all,contract,reentrancy")->default_value("default"),`
`808`	`808`	`"Select whether to report inferred contract inductive invariants."`
`809`		`- "Multiple types of invariants can be selected at the same time, separated by a comma and no spaces."`
	`809`	`+ " Multiple types of invariants can be selected at the same time, separated by a comma and no spaces."`
`810`	`810`	`" By default no invariants are reported."`
`811`	`811`	`)`
`812`	`812`	`(`