diff options
| -rw-r--r-- | src/smt/dump.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/smt/dump.cpp b/src/smt/dump.cpp index 3b9ec3273..79bf43e3c 100644 --- a/src/smt/dump.cpp +++ b/src/smt/dump.cpp @@ -13,8 +13,9 @@ ** ** Dump utility classes and functions. **/ -#include "smt/dump.h" +#include "smt/dump.h" +#include "lib/strtok_r.h" #include "base/output.h" namespace CVC4 { |