From 5d509aecf42406ad94a76aac49342a37620fb829 Mon Sep 17 00:00:00 2001 From: Valentin Wüstholz Date: Fri, 5 Jun 2015 23:25:22 +0200 Subject: Fix minor issue. --- Source/Core/CommandLineOptions.cs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Source/Core') diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs index b9684d04..675ac6a5 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -1593,7 +1593,7 @@ namespace Microsoft.Boogie { ps.CheckBooleanFlag("doModSetAnalysis", ref DoModSetAnalysis) || ps.CheckBooleanFlag("doNotUseLabels", ref UseLabels, false) || ps.CheckBooleanFlag("runDiagnosticsOnTimeout", ref RunDiagnosticsOnTimeout) || - ps.CheckBooleanFlag("traceDiagnosticsOnTimeout", ref RunDiagnosticsOnTimeout) || + ps.CheckBooleanFlag("traceDiagnosticsOnTimeout", ref TraceDiagnosticsOnTimeout) || ps.CheckBooleanFlag("boolControlVC", ref SIBoolControlVC, true) || ps.CheckBooleanFlag("contractInfer", ref ContractInfer) || ps.CheckBooleanFlag("explainHoudini", ref ExplainHoudini) || -- cgit v1.2.3