--- layout: fc_discuss_archives title: Message 41 from Frama-C-discuss on July 2010 ---
I am out of the office until 01-08-2010. Note: This is an automated response to your message "Frama-c-discuss Digest, Vol 26, Issue 14" sent on 7/22/10 15:31:25. This is the only notification you will receive while this person is away. =====-----=====-----===== Notice: The information contained in this e-mail message and/or attachments to it may contain confidential or privileged information. If you are not the intended recipient, any dissemination, use, review, distribution, printing or copying of the information contained in this e-mail message and/or attachments to it are strictly prohibited. If you have received this communication in error, please notify us by reply e-mail or telephone and immediately and permanently delete the message and any attachments. Thank you