summaryrefslogtreecommitdiff
path: root/Source
diff options
context:
space:
mode:
authorGravatar Michal Moskal <michal@moskal.me>2011-06-30 18:35:29 -0700
committerGravatar Michal Moskal <michal@moskal.me>2011-06-30 18:35:29 -0700
commit7a145e0fdc83fe13a7e9819e9c13e19e1b785fae (patch)
treecb56bee7679f1624ed106253841de6a60315664a /Source
parenta4b353ddcdad49e5c3d39fce206addbbbb5fc6ad (diff)
Allow : instead of = in options
Diffstat (limited to 'Source')
-rw-r--r--Source/Core/VCExp.cs2
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;
}