diff options
Diffstat (limited to 'cparser/Machine.mli')
-rw-r--r-- | cparser/Machine.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/Machine.mli b/cparser/Machine.mli index 3becce33..b621d4ca 100644 --- a/cparser/Machine.mli +++ b/cparser/Machine.mli @@ -16,6 +16,7 @@ (* Machine-dependent aspects *) type t = { + name: string; char_signed: bool; sizeof_ptr: int; sizeof_short: int; |