Skip to content
Snippets Groups Projects
Commit 386f2064 authored by Julien Signoles's avatar Julien Signoles
Browse files

[typing] remove useless lines

parent fe012c15
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/typing.ml
+ 0
− 1
View file @ 386f2064
...@@ -540,7 +540,6 @@ let get_op t = ...@@ -540,7 +540,6 @@ let get_op t =
extract_typ t info.op extract_typ t info.op
let get_cast t = let get_cast t =
Cil.CurrentLoc.set t.term_loc;
let info = Memo.get t in let info = Memo.get t in
try Extlib.opt_map typ_of_integer_ty info.cast try Extlib.opt_map typ_of_integer_ty info.cast
with Not_an_integer -> None with Not_an_integer -> None
......
src/plugins/e-acsl/typing.mli
+ 0
− 2
View file @ 386f2064
...@@ -35,8 +35,6 @@ type integer_ty = private ...@@ -35,8 +35,6 @@ type integer_ty = private
| C_type of ikind | C_type of ikind
| Other | Other
include Datatype.S with type t = integer_ty
val gmp: integer_ty val gmp: integer_ty
val c_int: integer_ty val c_int: integer_ty
val ikind: ikind -> integer_ty val ikind: ikind -> integer_ty
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment