fix warnings with OCaml 4.01

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)

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"