Skip to content
Snippets Groups Projects
Commit 4605970b authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[E-ACSL] fixes warning 33

parent 9741d0da
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/src/analyses/logic_normalizer.mli
+ 0
− 1
View file @ 4605970b
...@@ -30,7 +30,6 @@ ...@@ -30,7 +30,6 @@
*) *)
open Cil_types open Cil_types
open Analyses_types
val preprocess : file -> unit val preprocess : file -> unit
(** Preprocess all the predicates of the ast and store the results *) (** Preprocess all the predicates of the ast and store the results *)
......
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