Skip to content
Snippets Groups Projects
Commit 86852314 authored by Allan Blanchard's avatar Allan Blanchard Committed by Virgile Prevosto
Browse files

[eva] fix lint

parent f2c2494d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/eva/engine/iterator.mli
+ 2
− 2
View file @ 86852314
...@@ -37,12 +37,12 @@ module Computer ...@@ -37,12 +37,12 @@ module Computer
(States : Powerset.S with type state = Abstract.Dom.t) (States : Powerset.S with type state = Abstract.Dom.t)
(* Transfer functions for statement on the abstract domain. *) (* Transfer functions for statement on the abstract domain. *)
(_ : Transfer_stmt.S with type state = Abstract.Dom.t (_ : Transfer_stmt.S with type state = Abstract.Dom.t
and type value = Abstract.Val.t) and type value = Abstract.Val.t)
(* Initialization of local variables. *) (* Initialization of local variables. *)
(_: Initialization.S with type state := Abstract.Dom.t) (_: Initialization.S with type state := Abstract.Dom.t)
(* Transfer functions for the logic on the abstract domain. *) (* Transfer functions for the logic on the abstract domain. *)
(_ : Transfer_logic.S with type state = Abstract.Dom.t (_ : Transfer_logic.S with type state = Abstract.Dom.t
and type states = States.t) and type states = States.t)
(_: sig (_: sig
val treat_statement_assigns: assigns -> Abstract.Dom.t -> Abstract.Dom.t val treat_statement_assigns: assigns -> Abstract.Dom.t -> Abstract.Dom.t
end) end)
......
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