diff options
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Core/VCExp.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/VCExp.cs b/Source/Core/VCExp.cs index be6695e8..5b7fc946 100644 --- a/Source/Core/VCExp.cs +++ b/Source/Core/VCExp.cs @@ -113,7 +113,7 @@ The generic options may or may not be used by the prover plugin. if (opt.Length == name.Length) {
field = "";
return true;
- } else if (opt[name.Length] == '=') {
+ } else if (opt[name.Length] == '=' || opt[name.Length] == ':') {
field = opt.Substring(name.Length + 1);
return true;
}
|