--- layout: fc_discuss_archives title: Message 92 from Frama-C-discuss on February 2012 ---
On Thu, 2012-02-16 at 12:00 +0100, Julien Signoles wrote: > > method vfunc _ = begin > > let new_kf = Cil.get_kernel_function (Cil.copy_visit ()) (Extlib.the > > self#current_kf) in > > Kernel_function.set_spec new_kf (fun s -> s); > > Cil.SkipChildren > > end > Using (Cil.copy_visit ()) instead of your own visitor behavior > (something like your_visitor#behavior) is a bit strange. Not sure yet > your issue comes from here. As it turned out in the kf thread, this code is wrong for a copy visitor. I guess that's why it didn't work with Jessie. -- Best regards, Boris