diff options
| author |  Unknown <afd@afd-THINK> | 2012-08-13 17:38:01 +0100 |
|---|---|---|
| committer | Unknown <afd@afd-THINK> | 2012-08-13 17:38:01 +0100 |
| commit | 5438a42e68bde8ef0b860d28af25acb33c9532e3 (patch) | |
| tree | 25b998cc28b6bbc06017436fa2ef09e4b3e5f3c5 /Source/GPUVerify/NullRaceInstrumenter.cs | |
| parent | cac395ed490262542e7aca6b6cdd30f0c281d2c7 (diff) | |
Some more code cleanup related to removal of the "divided" option.
Diffstat (limited to 'Source/GPUVerify/NullRaceInstrumenter.cs')
| -rw-r--r-- | Source/GPUVerify/NullRaceInstrumenter.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/GPUVerify/NullRaceInstrumenter.cs b/Source/GPUVerify/NullRaceInstrumenter.cs index acba7ca6..458481a0 100644 --- a/Source/GPUVerify/NullRaceInstrumenter.cs +++ b/Source/GPUVerify/NullRaceInstrumenter.cs @@ -19,9 +19,9 @@ namespace GPUVerify }
- public bool AddRaceCheckingInstrumentation()
+ public void AddRaceCheckingInstrumentation()
{
- return true;
+
}
public Microsoft.Boogie.BigBlock MakeResetReadWriteSetStatements(Variable v, int Thread)
|