From 071b84168288bccd1cf60b70ffa65b9c1c44dc7c Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 20 Feb 2014 09:00:25 +0100
Subject: [PATCH] fix warnings with OCaml 4.01
---
src/plugins/e-acsl/Makefile.in | 2 +-
src/plugins/e-acsl/mpz.ml | 4 ++--
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index ddbf12995b0..b593afeee63 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -78,7 +78,7 @@ PLUGIN_DISTRIB_BIN:=no
###############
# Enable -warn-error in development mode, but not in distribution mode
-# Do not edit the line below: it is automatically set by 'make src-distrib'
+# Do not edit the line below: it is automatically set by 'make e-acsl-distrib'
IS_DISTRIBUTED:=no
ifneq ($(IS_DISTRIBUTED),yes)
ifeq ($(EACSL_HAS_OCAML312),yes)
diff --git a/src/plugins/e-acsl/mpz.ml b/src/plugins/e-acsl/mpz.ml
index a9c5a530c7e..f6fedbdd9fa 100644
--- a/src/plugins/e-acsl/mpz.ml
+++ b/src/plugins/e-acsl/mpz.ml
@@ -76,7 +76,7 @@ let init_set ~loc lv ev e =
(match e.enode with
| Lval elv ->
let call =
- Misc.mk_call ?loc
+ Misc.mk_call ~loc
"__gmpz_import"
[ ev;
Cil.one ~loc;
@@ -88,7 +88,7 @@ let init_set ~loc lv ev e =
in
Cil.mkStmt
~valid_sid:true
- (Block (Cil.mkBlock [ init ?loc ev; call ]))
+ (Block (Cil.mkBlock [ init ~loc ev; call ]))
| _ -> Error.not_yet "unsigned long long expression requiring GMP")
| Longlong ILongLong ->
Error.not_yet "long long requiring GMP"
--
GitLab