From 386f20645023d8ec7471b2eca0d497ad9044839f Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 20 May 2016 19:12:35 +0200
Subject: [PATCH] [typing] remove useless lines

---
 src/plugins/e-acsl/typing.ml  | 1 -
 src/plugins/e-acsl/typing.mli | 2 --
 2 files changed, 3 deletions(-)

diff --git a/src/plugins/e-acsl/typing.ml b/src/plugins/e-acsl/typing.ml
index 58954c2c2d5..c7bc1617055 100644
--- a/src/plugins/e-acsl/typing.ml
+++ b/src/plugins/e-acsl/typing.ml
@@ -540,7 +540,6 @@ let get_op t =
   extract_typ t info.op
 
 let get_cast t =
-  Cil.CurrentLoc.set t.term_loc;
   let info = Memo.get t in
   try Extlib.opt_map typ_of_integer_ty info.cast
   with Not_an_integer -> None
diff --git a/src/plugins/e-acsl/typing.mli b/src/plugins/e-acsl/typing.mli
index 2d90b0ec691..246847c903f 100644
--- a/src/plugins/e-acsl/typing.mli
+++ b/src/plugins/e-acsl/typing.mli
@@ -35,8 +35,6 @@ type integer_ty = private
   | C_type of ikind
   | Other
 
-include Datatype.S with type t = integer_ty
-
 val gmp: integer_ty
 val c_int: integer_ty
 val ikind: ikind -> integer_ty
-- 
GitLab