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 { |