1 files changed, 14 insertions, 3 deletions
diff --git a/Source/GPUVerify/NullRaceInstrumenter.cs b/Source/GPUVerify/NullRaceInstrumenter.cs
index a825a2eb..b2941815 100644
--- a/Source/GPUVerify/NullRaceInstrumenter.cs
+++ b/Source/GPUVerify/NullRaceInstrumenter.cs
@@ -9,7 +9,7 @@ namespace GPUVerify
     class NullRaceInstrumenter : IRaceInstrumenter
     {
 
-        public void AddRaceCheckingCandidateInvariants(Microsoft.Boogie.WhileCmd wc)
+        public void AddRaceCheckingCandidateInvariants(Implementation impl, Microsoft.Boogie.WhileCmd wc)
         {
             
         }
@@ -19,7 +19,7 @@ namespace GPUVerify
             
         }
 
-        public void CheckForRaces(IToken tok, BigBlock bb, Variable v, bool ReadWriteOnly)
+        public void CheckForRaces(BigBlock bb, Variable v, bool ReadWriteOnly)
         {
         }
 
@@ -42,6 +42,17 @@ namespace GPUVerify
         {
 
         }
-    
+
+
+        public void AddNoRaceContract(Procedure proc)
+        {
+
+        }
+
+        public void AddNoRaceInvariants(Implementation impl)
+        {
+
+        }
+
     }
 }