another attempt at cassert

Daniel Kroening · Daniel Kroening · commit 014d9ec0d37c · 2016-05-19T15:02:19.000+01:00
diff --git a/src/goto-cc/run.cpp b/src/goto-cc/run.cpp
@@ -8,6 +8,8 @@ Date: August 2012
 
 \*******************************************************************/
 
+#include <cassert>
+
 #ifdef _WIN32
 #include <process.h>
 #else
@@ -17,7 +19,6 @@ Date: August 2012
 #include <cerrno>
 #include <cstdio>
 #include <cstdlib>
-#include <cassert>
 
 #include <sys/wait.h>
 #include <sys/types.h>
