diff options
Diffstat (limited to 'config/dec-flags')
| -rw-r--r-- | config/dec-flags | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/dec-flags b/config/dec-flags index 59ae66f..0ff487f 100644 --- a/config/dec-flags +++ b/config/dec-flags @@ -100,6 +100,7 @@ fi # R_LARGE=18 R_INTEGER=9 +HADDR_T='SELECTED_INT_KIND(R_LARGE)' HSIZE_T='SELECTED_INT_KIND(R_LARGE)' HSSIZE_T='SELECTED_INT_KIND(R_LARGE)' HID_T='SELECTED_INT_KIND(R_INTEGER)' |