log

age author description
Sat, 30 Jan 2010 12:00:08 -0500 Adam Chlipala Change to satisfy GCC implicit aliasing rules