--- layout: fc_discuss_archives title: Message 45 from Frama-C-discuss on December 2011 ---
Hi, Now I want to make a deep copy of types in Cil_types. When changes are made on the copy, the original one keeps no change. I tried to call Visitor.visitFramacPredicate with frama_c_copy visitor to get a copy of predicate and changed the copy one but the original changed too. How can I get a deep copy? Best Wishes. Henry -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20111215/a3fbd345/attachment.htm>