missing cassert header

Daniel Kroening · Daniel Kroening · commit 9864d8c65796 · 2016-05-19T14:24:38.000+01:00
diff --git a/src/goto-cc/run.cpp b/src/goto-cc/run.cpp
@@ -17,6 +17,7 @@ Date: August 2012
 #include <cerrno>
 #include <cstdio>
 #include <cstdlib>
+#include <cassert>
 
 #include <sys/wait.h>
 #include <sys/types.h>
