Skip to content
Snippets Groups Projects
Commit 9da3f0d8 authored by Basile Desloges's avatar Basile Desloges
Browse files

[eacsl:codegen] Fix conversion of `typ` to `number_ty`

parent a00defc9
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/src/code_generator/translate.ml
+ 1
− 1
View file @ 9da3f0d8
......@@ -932,7 +932,7 @@ let term_to_exp typ t =
else if Gmp_types.Q.is_t ty then Typing.rational
else
match ty with
| TInt(ik, _) -> Typing.ikind ik
| TInt(ik, _) | TEnum({ ekind = ik }, _) -> Typing.ikind ik
| TFloat(fk, _) -> Typing.fkind fk
| _ -> Typing.nan
in
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment