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);
         }
       }