diff options
Diffstat (limited to 'cparser/Cutil.mli')
| -rw-r--r-- | cparser/Cutil.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cparser/Cutil.mli b/cparser/Cutil.mli index 3c39b99..6488117 100644 --- a/cparser/Cutil.mli +++ b/cparser/Cutil.mli @@ -165,8 +165,8 @@ val fundef_typ: fundef -> typ val intconst : int64 -> ikind -> exp (* Build expression for given integer constant. *) -val floatconst : float -> fkind -> exp - (* Build expression for given float constant. *) +val floatconst0 : exp + (* Build expression for (double)0. *) val nullconst : exp (* Expression for [(void * ) 0] *) val eaddrof : exp -> exp |