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

[e-acsl] comment

parent 2d9728a5
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/visit.ml
+ 2
− 0
View file @ 57e15850
...@@ -497,6 +497,8 @@ end ...@@ -497,6 +497,8 @@ end
let do_visit ?(prj=Project.current ()) generate = let do_visit ?(prj=Project.current ()) generate =
let vis = new e_acsl_visitor prj generate in let vis = new e_acsl_visitor prj generate in
first_global := true; first_global := true;
(* explicit type annotation in order to check that no new method is introduced
by error *)
(vis : Visitor.frama_c_visitor) (vis : Visitor.frama_c_visitor)
(* (*
......
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