1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs
index 47f5505e..15a9fff7 100644
--- a/Source/Core/AbsyCmd.cs
+++ b/Source/Core/AbsyCmd.cs
@@ -2176,7 +2176,7 @@ namespace Microsoft.Boogie {
         newBlockBody.Add(assign);
 
         // fra
-        if (!havocVarExprs.Has(f))
+        if (!havocVarExprs.Contains(f))
           havocVarExprs.Add(f);
       }
       #endregion
@@ -2200,7 +2200,7 @@ namespace Microsoft.Boogie {
         IdentifierExpr ie = new IdentifierExpr(cout.tok, cout);
         substMap.Add(param, ie);
 
-        if (!havocVarExprs.Has(ie))
+        if (!havocVarExprs.Contains(ie))
           havocVarExprs.Add(ie);
       }
       // add the where clauses, now that we have the entire substitution map