Changed Has method of PureSequence to Contains to make refactoring easier.

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