bug fix: record is the slice record, and it is used later
authorAnil-Kumar Vengalil <Anil-Kumar.Vengalil@sophia.inria.fr>
Sat, 5 Sep 2009 16:40:34 +0000 (16:40 +0000)
committerAnil-Kumar Vengalil <Anil-Kumar.Vengalil@sophia.inria.fr>
Sat, 5 Sep 2009 16:40:34 +0000 (16:40 +0000)

No differences found