From 9fc266a342545883c0c9ffc6f44e628b49b6e4b0 Mon Sep 17 00:00:00 2001
From: Benjamin Monate <benjamin.monate@cea.fr>
Date: Wed, 15 Jun 2011 17:09:59 +0000
Subject: [PATCH] Fixed Big_int compatibility
---
src/plugins/e-acsl/visit.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index 503da378af1..fed2d0909f4 100644
--- a/src/plugins/e-acsl/visit.ml
+++ b/src/plugins/e-acsl/visit.ml
@@ -38,7 +38,7 @@ let constant_to_exp ?(loc=Location.unknown) = function
it is written. Such a base is required by GMP.
[TODO] Actually possible to find the base for the string, but not done
yet *)
- mkString ?loc (Int64.to_string n)
+ mkString ?loc (My_bigint.to_string n)
| CStr _ | CWStr _ | CChr _ | CReal _ | CEnum _ as c ->
new_exp ?loc (Const c)
--
GitLab