diff --git a/src/plugins/wp/normAtLabels.ml b/src/plugins/wp/normAtLabels.ml
index c876927da3c546f5a455079e05aba5710743e281..0ac548e41ec3b09816b66e4311a7fa5a630f978e 100644
--- a/src/plugins/wp/normAtLabels.ml
+++ b/src/plugins/wp/normAtLabels.ml
@@ -33,7 +33,8 @@ type label_mapping = Cil_types.logic_label -> Clabels.c_label
  * *)
 class norm_at (mapping : label_mapping) =
   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