--- layout: fc_discuss_archives title: Message 17 from Frama-C-discuss on March 2012 ---
2012/3/19 Pierre Karpman <Pierre.Karpman at rennes.supelec.fr>: > > Okay, I opened Cil_datatype which redefines a "File" module. Thanks for the > insight! > Yes, I'd advise against opening Cil_datatype or Datatype for this reason. -- E tutto per oggi, a la prossima volta Virgile