diff options
Diffstat (limited to 'src/smt_util/command.h')
-rw-r--r-- | src/smt_util/command.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt_util/command.h b/src/smt_util/command.h index b35fb7a7f..17d65beb2 100644 --- a/src/smt_util/command.h +++ b/src/smt_util/command.h @@ -22,11 +22,11 @@ #ifndef __CVC4__COMMAND_H #define __CVC4__COMMAND_H -#include <iostream> +#include <iosfwd> +#include <map> #include <sstream> #include <string> #include <vector> -#include <map> #include "expr/datatype.h" #include "expr/expr.h" |