diff options
Diffstat (limited to 'cparser/C.mli')
-rw-r--r-- | cparser/C.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/C.mli b/cparser/C.mli index 763a9277..1388fab9 100644 --- a/cparser/C.mli +++ b/cparser/C.mli @@ -64,7 +64,7 @@ type constant = | CInt of int64 * ikind * string (* as it appeared in the source *) | CFloat of float_cst * fkind | CStr of string - | CWStr of int64 list + | CWStr of int64 list * ikind | CEnum of ident * int64 (* enum tag, integer value *) (** Attributes *) |