diff options
| author |  Michal Moskal <michal@moskal.me> | 2011-06-30 18:35:29 -0700 |
|---|---|---|
| committer | Michal Moskal <michal@moskal.me> | 2011-06-30 18:35:29 -0700 |
| commit | 7a145e0fdc83fe13a7e9819e9c13e19e1b785fae (patch) | |
| tree | cb56bee7679f1624ed106253841de6a60315664a /Source | |
| parent | a4b353ddcdad49e5c3d39fce206addbbbb5fc6ad (diff) | |
Allow : instead of = in 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;
}
|