--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on March 2008 ---
David, > I think there is a small typo on p. 25 : > "t1..t2 denotes the set of integers between t1 and t2, included. If t2 > > t1, this is the same as \empty" > Shouldn't it be: "if t1 > t2"? You are right. This will be fixed in the next version. Thanks for your report. Benjamin Monate