diff options
| author |  Ally Donaldson <unknown> | 2013-07-22 15:29:54 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2013-07-22 15:29:54 +0100 |
| commit | 02dadf09e2593fb51a590e66192116c08469dcfe (patch) | |
| tree | fb8ff65c23a117ffe4055dc571f9e717e850e4b6 /Source | |
| parent | 27382bdb27ab6eb405374ffebed4e62b449355f4 (diff) | |
Whitespace fix
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Core/CommandLineOptions.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs index 46d030d2..1748f5b7 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -412,7 +412,7 @@ namespace Microsoft.Boogie { public bool SimplifyLogFileAppend = false;
public bool SoundnessSmokeTest = false;
public string Z3ExecutablePath = null;
- public string CVC4ExecutablePath = null;
+ public string CVC4ExecutablePath = null;
public enum ProverWarnings {
None,
|