summaryrefslogtreecommitdiff
path: root/Source/GPUVerify/RaceInstrumenterBase.cs
diff options
context:
space:
mode:
Diffstat (limited to 'Source/GPUVerify/RaceInstrumenterBase.cs')
-rw-r--r--Source/GPUVerify/RaceInstrumenterBase.cs4
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/GPUVerify/RaceInstrumenterBase.cs b/Source/GPUVerify/RaceInstrumenterBase.cs
index 4f2f76be..692f1288 100644
--- a/Source/GPUVerify/RaceInstrumenterBase.cs
+++ b/Source/GPUVerify/RaceInstrumenterBase.cs
@@ -38,9 +38,9 @@ namespace GPUVerify
{
NonLocalStateToCheck.getGlobalVariables().Add(v);
}
- foreach(Variable v in verifier.NonLocalState.getTileStaticVariables())
+ foreach(Variable v in verifier.NonLocalState.getGroupSharedVariables())
{
- NonLocalStateToCheck.getTileStaticVariables().Add(v);
+ NonLocalStateToCheck.getGroupSharedVariables().Add(v);
}
}