about summary refs log tree commit diff homepage
path: root/runtime/klee-libc
diff options
context:
space:
mode:
authorCristian Cadar <cristic@cs.stanford.edu>2011-12-11 22:08:55 +0000
committerCristian Cadar <cristic@cs.stanford.edu>2011-12-11 22:08:55 +0000
commite856cc0ecdbfa7f0f07c459af2a2f3ed5a8f7515 (patch)
treeda34a7545b605f811c8ec202a65ecea2b6bcf4d6 /runtime/klee-libc
parent719ddd5298b423b1c3037d2351cb35e42f89522d (diff)
downloadklee-e856cc0ecdbfa7f0f07c459af2a2f3ed5a8f7515.tar.gz
Patch by Ben Gras fixing a few minor issues: adds missing includes,
fixes the ntohs prototype in klee-libc, and removes some unused code.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@146352 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'runtime/klee-libc')
-rw-r--r--runtime/klee-libc/htonl.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/klee-libc/htonl.c b/runtime/klee-libc/htonl.c
index cec2d0f5..521ef5d6 100644
--- a/runtime/klee-libc/htonl.c
+++ b/runtime/klee-libc/htonl.c
@@ -41,7 +41,7 @@ uint32_t htonl(uint32_t v) {
 
 #endif
 
-uint16_t ntohs(uint32_t v) {
+uint16_t ntohs(uint16_t v) {
   return htons(v);
 }
 uint32_t ntohl(uint32_t v) {