From 8d78a69b203e95aa6aca157edb8c3fec4fe937cf Mon Sep 17 00:00:00 2001
From: Jan Rochel <jan.rochel@cea.fr>
Date: Tue, 19 Dec 2023 18:53:45 +0100
Subject: [PATCH] [e-acsl] miniscule cosmetics in Typed_number
---
src/plugins/e-acsl/src/code_generator/typed_number.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/src/code_generator/typed_number.ml b/src/plugins/e-acsl/src/code_generator/typed_number.ml
index d9496e647c7..c11eb87ca6f 100644
--- a/src/plugins/e-acsl/src/code_generator/typed_number.ml
+++ b/src/plugins/e-acsl/src/code_generator/typed_number.ml
@@ -57,7 +57,7 @@ let add_cast ~loc ?name env kf ctx strnum t_opt e =
Gmp.Z.create ~loc ?name t_opt env kf e
| _, false ->
if Gmp_types.Q.is_t ctx then
- if Gmp_types.Q.is_t (Cil.typeOf e) then (* R --> R *)
+ if Gmp_types.Q.is_t ty then (* R --> R *)
e, env
else (* C integer or Z --> R *)
Gmp.Q.create ~loc ?name t_opt env kf e
--
GitLab