1 files changed, 10 insertions, 0 deletions
diff --git a/Source/Concurrency/LinearSets.cs b/Source/Concurrency/LinearSets.cs
index 6cba3649..08354ae6 100644
--- a/Source/Concurrency/LinearSets.cs
+++ b/Source/Concurrency/LinearSets.cs
@@ -527,6 +527,16 @@ namespace Microsoft.Boogie
             return base.VisitParCallCmd(node);
         }
 
+        public override Requires VisitRequires(Requires requires)
+        {
+            return requires;
+        }
+
+        public override Ensures VisitEnsures(Ensures ensures)
+        {
+            return ensures;
+        }
+
         public IEnumerable<Variable> AvailableLinearVars(Absy absy)
         {
             if (availableLinearVars.ContainsKey(absy))