1 files changed, 13 insertions, 1 deletions
diff --git a/Source/Core/AbsyExpr.cs b/Source/Core/AbsyExpr.cs
index 8d372b0c..33b3a818 100644
--- a/Source/Core/AbsyExpr.cs
+++ b/Source/Core/AbsyExpr.cs
@@ -1893,7 +1893,19 @@ namespace Microsoft.Boogie {
       this.Type = type;
     }
 
-    public string/*!*/ FunctionName {
+    public override bool Equals(object obj) {
+      TypeCoercion other = obj as TypeCoercion;
+      if (other == null) {
+        return false;
+      } else {
+        return object.Equals(Type, other.Type);
+      }
+    }
+
+
+
+    public
+      string/*!*/ FunctionName {
       get {
         Contract.Ensures(Contract.Result<string>() != null);