diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2016-02-17 22:58:01 -0500 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2016-02-17 22:58:01 -0500 |
commit | b7be76b58846a68dea4c1fcae19d6c3f087994b9 (patch) | |
tree | 95d657ea65a944017aa29670b8b1644c799204c0 | |
parent | b0d7ac44fb7be5c56cd0c743114e792a985bb3b7 (diff) |
fix for windows builds
-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 { |