[klee-dev] find one probable error

[小、 ￣洁]

hi,
i find one probable error.
When developping klee in eclipse, it prompts that the type  off64_t could not be resolved in the file 


this function is weak attributed.
i find its extern declaration in 


and  the parameter __offset uses the type __off64_t which is defined in <bits/types.h>
so it should be modified as below in the file runtime/POSIX/stubs.c:



thanks all.  am I right?
-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: EAC976DF at 779C972C.04C56E55.jpg
Type: image/jpeg
Size: 41243 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20150603/db6addd5/attachment.jpg>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: EAFF9463 at 779C972C.04C56E55.jpg
Type: image/jpeg
Size: 30391 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20150603/db6addd5/attachment-0001.jpg>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: C48D1DCA at 779C972C.04C56E55.jpg
Type: image/jpeg
Size: 60438 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20150603/db6addd5/attachment-0002.jpg>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 82C81ACC at 779C972C.04C56E55.jpg
Type: image/jpeg
Size: 45304 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20150603/db6addd5/attachment-0003.jpg>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: C35E100D at 779C972C.04C56E55.jpg
Type: image/jpeg
Size: 6130 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20150603/db6addd5/attachment-0004.jpg>