diff options
| author |  MichalMoskal <unknown> | 2011-02-18 01:02:24 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-02-18 01:02:24 +0000 |
| commit | 1df6082c95bc87167c28d1ec7ada4ad0db1edd4e (patch) | |
| tree | dd4d72d82618bf8bf8c8c455ab4d7bcc363dfa6c /Source/Provers/SMTLib/SMTLibProcess.cs | |
| parent | d6221bcb829c5034d062500680652e0d261f3332 (diff) | |
Recognize () as identifier terminators
Diffstat (limited to 'Source/Provers/SMTLib/SMTLibProcess.cs')
| -rw-r--r-- | Source/Provers/SMTLib/SMTLibProcess.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/SMTLib/SMTLibProcess.cs b/Source/Provers/SMTLib/SMTLibProcess.cs index d2038d70..ace2fb64 100644 --- a/Source/Provers/SMTLib/SMTLibProcess.cs +++ b/Source/Provers/SMTLib/SMTLibProcess.cs @@ -180,7 +180,7 @@ namespace Microsoft.Boogie.SMTLib var c = currLine[linePos++];
if (quoted && c == beg)
break;
- if (!quoted && char.IsWhiteSpace(c)) {
+ if (!quoted && (char.IsWhiteSpace(c) || c == '(' || c == ')')) {
linePos--;
break;
}
|