From 2ef442a210a4ab48c677c44c53a565aefe84008d Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@inria.fr>
Date: Wed, 27 Feb 2019 09:47:20 +0100
Subject: [PATCH] [WP] Replaces deprecated function call related to
Visitor_behavior
---
src/plugins/wp/normAtLabels.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/plugins/wp/normAtLabels.ml b/src/plugins/wp/normAtLabels.ml
index c876927da3c..0ac548e41ec 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
--
GitLab