diff options
Diffstat (limited to 'cfrontend/PrintClight.ml')
-rw-r--r-- | cfrontend/PrintClight.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cfrontend/PrintClight.ml b/cfrontend/PrintClight.ml index a8b2b98a..8f0bfbf3 100644 --- a/cfrontend/PrintClight.ml +++ b/cfrontend/PrintClight.ml @@ -82,6 +82,8 @@ let rec expr p (prec, e) = fprintf p "%F" (camlfloat_of_coqfloat f) | Econst_long(n, _) -> fprintf p "%LdLL" (camlint64_of_coqint n) + | Eunop(Oabsfloat, a1, _) -> + fprintf p "__builtin_fabs(%a)" expr (2, a1) | Eunop(op, a1, _) -> fprintf p "%s%a" (name_unop op) expr (prec', a1) | Eaddrof(a1, _) -> |