diff --git a/src/plugins/constant_propagation/api.ml b/src/plugins/constant_propagation/api.ml
index 58c9aa199a689ab05b50958687f1d4504cd33ed1..30a1c050aeb4edf1ff3dd5f14c53db9f86ce048e 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