From 1df6082c95bc87167c28d1ec7ada4ad0db1edd4e Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Fri, 18 Feb 2011 01:02:24 +0000
Subject: Recognize () as identifier terminators

---
 Source/Provers/SMTLib/SMTLibProcess.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source')

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;
         }
-- 
cgit v1.2.3