diff options
| author |  Unknown <afd@afd-THINK.home> | 2012-02-28 23:18:19 +0000 |
|---|---|---|
| committer | Unknown <afd@afd-THINK.home> | 2012-02-28 23:18:19 +0000 |
| commit | 872fa692ff85111130a5ad14782fb45e560af1f0 (patch) | |
| tree | 83778aabd84ccce6d9ab9356b78597967abd2288 /Source/GPUVerify/GPUVerifier.cs | |
| parent | 55d05feb7d8e14dda401d28c290bbc2b9ab516fe (diff) | |
Fixed compilation problems in GPUVerify
Diffstat (limited to 'Source/GPUVerify/GPUVerifier.cs')
| -rw-r--r-- | Source/GPUVerify/GPUVerifier.cs | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/Source/GPUVerify/GPUVerifier.cs b/Source/GPUVerify/GPUVerifier.cs index 52d55585..b9e9d664 100644 --- a/Source/GPUVerify/GPUVerifier.cs +++ b/Source/GPUVerify/GPUVerifier.cs @@ -2220,37 +2220,37 @@ namespace GPUVerify if (!KernelHasIdX())
{
- MissingKernelAttributeError("Kernel", LOCAL_ID_X_STRING);
+ MissingKernelAttributeError(LOCAL_ID_X_STRING);
}
if (!KernelHasGroupSizeX())
{
- MissingKernelAttributeError("Kernel", GROUP_SIZE_X_STRING);
+ MissingKernelAttributeError(GROUP_SIZE_X_STRING);
}
if (!KernelHasNumGroupsX())
{
- MissingKernelAttributeError("Kernel", NUM_GROUPS_X_STRING);
+ MissingKernelAttributeError(NUM_GROUPS_X_STRING);
}
if (!KernelHasGroupIdX())
{
- MissingKernelAttributeError("Kernel", GROUP_ID_X_STRING);
+ MissingKernelAttributeError(GROUP_ID_X_STRING);
}
if (!KernelHasIdY())
{
- MissingKernelAttributeError("Kernel", LOCAL_ID_Y_STRING);
+ MissingKernelAttributeError(LOCAL_ID_Y_STRING);
}
if (!KernelHasGroupSizeY())
{
- MissingKernelAttributeError("2D kernel", GROUP_SIZE_Y_STRING);
+ MissingKernelAttributeError(GROUP_SIZE_Y_STRING);
}
if (!KernelHasNumGroupsY())
{
- MissingKernelAttributeError("2D kernel", NUM_GROUPS_Y_STRING);
+ MissingKernelAttributeError(NUM_GROUPS_Y_STRING);
}
if (!KernelHasGroupIdY())
@@ -2260,7 +2260,7 @@ namespace GPUVerify if (!KernelHasIdY())
{
- MissingKernelAttributeError("3D kernel", LOCAL_ID_Y_STRING);
+ MissingKernelAttributeError(LOCAL_ID_Y_STRING);
}
if (!KernelHasGroupSizeY())
|