diff options
Diffstat (limited to 'cparser/Cabs.v')
-rw-r--r-- | cparser/Cabs.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Cabs.v b/cparser/Cabs.v index accb95a0..ab908be3 100644 --- a/cparser/Cabs.v +++ b/cparser/Cabs.v @@ -55,7 +55,7 @@ Inductive typeSpecifier := (* Merge all specifiers into one type *) | Tenum : option string -> option (list (string * option expression * loc)) -> list attribute -> typeSpecifier with storage := - AUTO | STATIC | EXTERN | REGISTER | TYPEDEF + AUTO | STATIC | EXTERN | REGISTER | TYPEDEF | THREAD_LOCAL with cvspec := | CV_CONST | CV_VOLATILE | CV_RESTRICT |