diff options
Diffstat (limited to 'cparser/Cutil.ml')
-rw-r--r-- | cparser/Cutil.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Cutil.ml b/cparser/Cutil.ml index 70ca8bce..ea4a905d 100644 --- a/cparser/Cutil.ml +++ b/cparser/Cutil.ml @@ -453,7 +453,7 @@ let int_representable v nbits sgn = (* Type of a function definition *) let fundef_typ fd = - TFun(fd.fd_ret, Some fd.fd_params, fd.fd_vararg, []) + TFun(fd.fd_ret, Some fd.fd_params, fd.fd_vararg, fd.fd_attrib) (* Signedness of integer kinds *) |