diff --git a/src/plugins/value/domains/taint_domain.ml b/src/plugins/value/domains/taint_domain.ml index fb9f072b6f9d7d5d581ca117963b15416923c531..9ea1f0912333f3c8ede494d0d83b398294b679a0 100644 --- a/src/plugins/value/domains/taint_domain.ml +++ b/src/plugins/value/domains/taint_domain.ml @@ -83,9 +83,6 @@ module LatticeTaint = struct assume_stmts = Stmt.Set.empty; dependent_call = false; } ] - let structural_descr = - Structural_descr.t_abstract (* TODO *) - let compare t1 t2 = let (<?>) c (cmp,x,y) = if c = 0 then cmp x y else c in Zone.compare t1.locs_data t2.locs_data