From aaeb90e3a343bf0d159dc7d6ae6c86114f9fccf4 Mon Sep 17 00:00:00 2001
From: akashlal <unknown>
Date: Tue, 8 Feb 2011 18:20:56 +0000
Subject: Added a new method StratifiedVC for refinement. Added a method to
 copy a FunctionCall.

---
 Source/Core/AbsyExpr.cs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Source/Core/AbsyExpr.cs')

diff --git a/Source/Core/AbsyExpr.cs b/Source/Core/AbsyExpr.cs
index 3797d551..8627e31a 100644
--- a/Source/Core/AbsyExpr.cs
+++ b/Source/Core/AbsyExpr.cs
@@ -1941,6 +1941,10 @@ namespace Microsoft.Boogie {
       Contract.Invariant(name != null);
     }
 
+    public FunctionCall createUnresolvedCopy()
+    {
+        return new FunctionCall(new IdentifierExpr(name.tok, name.Name, name.Type));
+    }
 
     public AI.IFunctionSymbol/*!*/ AIFunctionSymbol {
       get {
-- 
cgit v1.2.3