diff options
Diffstat (limited to 'cparser/Machine.mli')
| -rw-r--r-- | cparser/Machine.mli | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/cparser/Machine.mli b/cparser/Machine.mli index f9d347b9..3cc6d5f4 100644 --- a/cparser/Machine.mli +++ b/cparser/Machine.mli @@ -40,8 +40,7 @@ type t = { sizeof_longdouble: int; sizeof_void: int option; sizeof_fun: int option; - sizeof_wchar: int; - wchar_signed: bool; + wchar_ikind: C.ikind; sizeof_size_t: int; sizeof_ptrdiff_t: int; sizeof_intreg: int; |