From 4fc18b2fe45c9a29cb0b8fe93d3102cec9c83194 Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Tue, 12 Oct 2010 00:13:50 +0000
Subject: Boogie: * enhanced the printing of captured states * addressed some
 warnings issued by VS 2010 * some code formatting

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

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

diff --git a/Source/VCExpr/VCExprAST.cs b/Source/VCExpr/VCExprAST.cs
index 89c615ad..74505150 100644
--- a/Source/VCExpr/VCExprAST.cs
+++ b/Source/VCExpr/VCExprAST.cs
@@ -664,7 +664,6 @@ namespace Microsoft.Boogie.VCExprAST {
           return !ib.MoveNext();
         }
       }
-      return true;
     }
 
     public static int PolyHash(int init, int factor, IEnumerable a) {
@@ -1505,6 +1504,14 @@ namespace Microsoft.Boogie.VCExprAST {
         return false;
       return this.Name == t.Name && this.arity == t.arity && this.Type == t.Type;
     }
+    [Pure]
+    [Reads(ReadsAttribute.Reads.Nothing)]
+    public override int GetHashCode() {
+      int h = Name.GetHashCode();
+      h = 7823 * h + arity;
+      h = 7823 * h + Type.GetHashCode();
+      return h;
+    }
     public override int Arity {
       get {
         return arity;
-- 
cgit v1.2.3