You are correct, this is a bug. George.
On Thu, Oct 14, 2010 at 5:57 AM, Gabriel Kerneis <kern...@pps.jussieu.fr> wrote: > Hello Pascal, > > On Wed, Sep 29, 2010 at 03:38:05PM +0200, Pascal Cuoq wrote: >> I just noticed a bug in >> http://www.eecs.berkeley.edu/~necula/cil/cil016.html#toc32 > > This is now fixed in svn (r11941). I cannot tell you when George will > update his copy, though. > > Thanks for reporting it. > -- > Gabriel Kerneis > ------------------------------------------------------------------------------ Download new Adobe(R) Flash(R) Builder(TM) 4 The new Adobe(R) Flex(R) 4 and Flash(R) Builder(TM) 4 (formerly Flex(R) Builder(TM)) enable the development of rich applications that run across multiple browsers and platforms. Download your free trials today! http://p.sf.net/sfu/adobe-dev2dev _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
