diff options
Diffstat (limited to 'cparser/Ceval.mli')
-rw-r--r-- | cparser/Ceval.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/Ceval.mli b/cparser/Ceval.mli index c7f7aa8e..7425a332 100644 --- a/cparser/Ceval.mli +++ b/cparser/Ceval.mli @@ -15,3 +15,4 @@ val integer_expr : Env.t -> C.exp -> int64 option val constant_expr : Env.t -> C.typ -> C.exp -> C.constant option +val normalize_int : int64 -> C.ikind -> int64 |