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

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Core/Inline.cs b/Source/Core/Inline.cs
index 26d57f68..47cf25d3 100644
--- a/Source/Core/Inline.cs
+++ b/Source/Core/Inline.cs
@@ -376,7 +376,7 @@ namespace Microsoft.Boogie {
         substMapOld.Add(mVar, ie);

         // FIXME why are we doing this? the modifies list should already include them.

         // add the modified variable to the modifies list of the procedure

-        if (!newModifies.Has(mie)) {

+        if (!newModifies.Contains(mie)) {

           newModifies.Add(mie);

         }

       }