diff options
Diffstat (limited to 'cparser/Cabs.v')
-rw-r--r-- | cparser/Cabs.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/Cabs.v b/cparser/Cabs.v index d087e8c7..355c748e 100644 --- a/cparser/Cabs.v +++ b/cparser/Cabs.v @@ -142,6 +142,7 @@ with expression := (* Non-standard *) | EXPR_ALIGNOF : expression -> expression | TYPE_ALIGNOF : (list spec_elem * decl_type) -> expression + | BUILTIN_OFFSETOF : (list spec_elem * decl_type) -> string -> expression with constant := (* The string is the textual representation of the constant in |