Skip to content
Snippets Groups Projects
Commit 2ef442a2 authored by Allan Blanchard's avatar Allan Blanchard Committed by Julien Signoles
Browse files

[WP] Replaces deprecated function call related to Visitor_behavior

parent 246c9cc5
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/wp/normAtLabels.ml
+ 2
− 1
View file @ 2ef442a2
...@@ -33,7 +33,8 @@ type label_mapping = Cil_types.logic_label -> Clabels.c_label ...@@ -33,7 +33,8 @@ type label_mapping = Cil_types.logic_label -> Clabels.c_label
* *) * *)
class norm_at (mapping : label_mapping) = class norm_at (mapping : label_mapping) =
object(self) object(self)
inherit Visitor.generic_frama_c_visitor (Cil.copy_visit (Project.current ())) inherit Visitor.generic_frama_c_visitor
(Visitor_behavior.copy_visit (Project.current ()))
val mutable current_label = None val mutable current_label = None
......
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