From 4c7694f31f5a841a3d2eadc94c8e7f49aabbcc40 Mon Sep 17 00:00:00 2001
From: Ken McMillan <unknown>
Date: Fri, 14 Jun 2013 17:23:44 -0700
Subject: Fixes for duality under corral

---
 Source/VCExpr/VCExprAST.cs | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'Source/VCExpr/VCExprAST.cs')

diff --git a/Source/VCExpr/VCExprAST.cs b/Source/VCExpr/VCExprAST.cs
index 82bdebbe..f56b6978 100644
--- a/Source/VCExpr/VCExprAST.cs
+++ b/Source/VCExpr/VCExprAST.cs
@@ -1868,6 +1868,14 @@ namespace Microsoft.Boogie.VCExprAST {
     }
   }
 
+  public class VCExprConstant : VCExprVar
+  {
+      internal VCExprConstant(string name, Type type) : base(name,type) {
+      Contract.Requires(type != null);
+      Contract.Requires(name != null);
+    }
+  }
+
   public abstract class VCExprBinder : VCExpr {
     public readonly VCExpr/*!*/ Body;
     public readonly List<TypeVariable/*!*/>/*!*/ TypeParameters;
-- 
cgit v1.2.3