diff options
Diffstat (limited to 'Tools/CodeGen/KrancThorn.m')
| -rw-r--r-- | Tools/CodeGen/KrancThorn.m | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/CodeGen/KrancThorn.m b/Tools/CodeGen/KrancThorn.m index d580da2..cf31146 100644 --- a/Tools/CodeGen/KrancThorn.m +++ b/Tools/CodeGen/KrancThorn.m @@ -272,7 +272,7 @@ CreateKrancThorn[groupsOrig_, parentDirectory_, thornName_, opts:OptionsPattern[ {}], diffHeader]; diffHeader = If[OptionValue[UseOpenCL], - "static char const * const differencing =\n" <> + "static char const *const differencing =\n" <> Stringify[diffHeader] <> ";\n", diffHeader]; |