From 0316103531df585338cc5f221fc119c4d61b9e00 Mon Sep 17 00:00:00 2001
From: Boris Yakobowski <boris.yakobowski@cea.fr>
Date: Fri, 8 Feb 2013 12:56:22 +0000
Subject: [PATCH] [E-acsl] Fix wrt change in Machdep
---
src/plugins/e-acsl/mpz.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/mpz.ml b/src/plugins/e-acsl/mpz.ml
index 808416c2e77..56b41eed465 100644
--- a/src/plugins/e-acsl/mpz.ml
+++ b/src/plugins/e-acsl/mpz.ml
@@ -48,7 +48,7 @@ let get_set_suffix_and_arg e =
else
match unrollType ty with
| TInt(IChar, _) ->
- (if theMachine.char_is_unsigned then "_ui" else "_si"), [ e ]
+ (if theMachine.theMachine.char_is_unsigned then "_ui" else "_si"), [ e ]
| TInt((IBool | IUChar | IUInt | IUShort | IULong), _) ->
"_ui", [ e ]
| TInt((ISChar | IShort | IInt | ILong), _) -> "_si", [ e ]
--
GitLab