Applied in r132786, thanks. Cristian
On 09/06/11 11:52, arrowdodger wrote: > On Wed, Jun 1, 2011 at 4:18 PM, arrowdodger <6yearold at gmail.com > <mailto:6yearold at gmail.com>> wrote: > > Hello. Here is a quick fix for FreeBSD build. > > > > > _______________________________________________ > klee-commits mailing list > klee-commits at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-commits