diff options
Diffstat (limited to 'cparser/deLexer.ml')
-rw-r--r-- | cparser/deLexer.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/deLexer.ml b/cparser/deLexer.ml index ee6976d4..e2f4f77f 100644 --- a/cparser/deLexer.ml +++ b/cparser/deLexer.ml @@ -30,6 +30,7 @@ let delex (symbol : string) : string = | "BUILTIN_VA_ARG" -> "__builtin_va_arg" | "CONST" -> "const" | "INLINE" -> "inline" + | "THREAD_LOCAL" -> "_Thread_local" | "PACKED" -> "__packed__" | "RESTRICT" -> "restrict" | "SIGNED" -> "signed" |