From: Andres Noetzli <noetzli@stanford.edu>
Date: Thu, 24 Aug 2017 17:08:39 +0000 (-0700)
Subject: Add include to fix build
X-Git-Tag: cvc5-1.0.0~5667
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=27f0116e05c7448c14ba2527d1269806d32dd923;p=cvc5.git

Add include to fix build
---

diff --git a/src/main/command_executor.cpp b/src/main/command_executor.cpp
index 796557b1d..a18bb1fe4 100644
--- 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 {