These const declarations are necessary on the current llvm svn head (r134411). I haven't bothered to work out why, but they look perfectly reasonable to me.
Peter, -------------- next part -------------- A non-text attachment was scrubbed... Name: fix.diff Type: text/x-patch Size: 3755 bytes Desc: not available Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110705/cce1053b/attachment.bin
