From 1f8305c0b574299ed1042fe18c7a84ab3716c0ad Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@inria.fr>
Date: Wed, 27 Feb 2019 09:50:20 +0100
Subject: [PATCH] [Constant propagation] Replaces deprecated function call
related to Visitor_behavior
---
src/plugins/constant_propagation/api.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/constant_propagation/api.ml b/src/plugins/constant_propagation/api.ml
index 58c9aa199a6..30a1c050aeb 100644
--- a/src/plugins/constant_propagation/api.ml
+++ b/src/plugins/constant_propagation/api.ml
@@ -74,7 +74,7 @@ class propagate project fnames ~cast_intro = object(self)
known_globals <- Varinfo.Set.add vi known_globals;
if Cil.isFunctionType vi.vtype then begin
let kf = Globals.Functions.get vi in
- let new_kf = Cil.memo_kernel_function self#behavior kf in
+ let new_kf = Visitor_behavior.memo_kernel_function self#behavior kf in
Queue.add (fun () -> Globals.Functions.register new_kf)
self#get_filling_actions;
end
--
GitLab