[klee-commits] [1509] minor

[sbkim at stanford.edu]

Revision: 1509
          http://keeda.stanford.edu/viewvc/viewvc.cgi?view=rev&revision=1509
Author:   sbkim
Date:     2009-03-18 14:32:16 -0700 (Wed, 18 Mar 2009)
Log Message:
-----------
minor

Modified Paths:
--------------
    models/simple/sockets.c

Modified: models/simple/sockets.c
===================================================================
--- models/simple/sockets.c	2009-03-18 06:15:12 UTC (rev 1508)
+++ models/simple/sockets.c	2009-03-18 21:32:16 UTC (rev 1509)
@@ -1,15 +1,15 @@
 #include "sockets.h"
 #include "fd.h"
 
-#include <linux/net.h>
 #include <errno.h>
 #include <unistd.h>
-#include <sys/syscall.h>
 #include <stdio.h>
 #include <assert.h>
+#include <netinet/in.h>
 #include <sys/types.h> 
 #include <sys/socket.h>
-#include <netinet/in.h>
+#include <sys/syscall.h>  /* __NR_* constants */
+#include <linux/net.h>    /* SYS_* constants */
 #include <klee/klee.h>
 
 void klee_warning(const char*);
@@ -67,8 +67,8 @@
   /* int protocol = args[2]; */
 
   if (type != SOCK_STREAM) {
-    klee_warning("Only SOCK_STREAM sockets supported at this time.\n");
-    errno = EPROTONOSUPPORT;
+    klee_warning("Only SOCK_STREAM sockets supported at this time.");
+    errno = ESOCKTNOSUPPORT;
     return -1;
   }
   
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://keeda.Stanford.EDU/pipermail/klee-commits/attachments/20090318/31276bb3/attachment.html