From 4f6d1e2e238d836586a42377473df571b983f8f5 Mon Sep 17 00:00:00 2001
From: Frank Busse <bb0xfb@gmail.com>
Date: Wed, 30 Oct 2013 22:39:03 +0100
Subject: sort and remove some includes

---
 tools/klee/main.cpp | 13 ++++++-------
 1 file changed, 6 insertions(+), 7 deletions(-)

(limited to 'tools')

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 40bbead8..68f250f1 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -57,21 +57,20 @@
 #include "llvm/Support/Signals.h"
 #include "llvm/Support/system_error.h"
 #endif
-#include <iostream>
-#include <fstream>
-#include <cerrno>
+
 #include <dirent.h>
+#include <signal.h>
 #include <unistd.h>
-#include <errno.h>
 #include <sys/stat.h>
 #include <sys/wait.h>
-#include <signal.h>
 
+#include <cerrno>
+#include <fstream>
+#include <iomanip>
 #include <iostream>
 #include <iterator>
-#include <fstream>
 #include <sstream>
-#include <iomanip>
+
 
 using namespace llvm;
 using namespace klee;
-- 
cgit 1.4.1