Add include to fix build

diff --git a/src/main/command_executor.cpp b/src/main/command_executor.cpp
index 796557b1db3f6f03bc4185bc6d108e9efd2659bd..a18bb1fe4c20955aa10939a1c63615f985870276 100644 (file)
--- a/src/main/command_executor.cpp
+++ b/src/main/command_executor.cpp
@@ -18,13 +18,13 @@
 #  include <sys/resource.h>
 #endif /* ! __WIN32__ */
 
+#include <cassert>
 #include <iostream>
 #include <string>
 
 #include "main/main.h"
 #include "smt/command.h"
 
-
 namespace CVC4 {
 namespace main {