[klee-dev] [PATCH] Build KLEE on FreeBSD.

[arrowdodger]

Hello. Here is a quick fix for FreeBSD build.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: 
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110601/5aaf8fc0/attachment.html
 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: klee.freebsd.patch
Type: text/x-patch
Size: 461 bytes
Desc: not available
Url : 
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110601/5aaf8fc0/attachment.bin