fix for windows builds

diff --git a/src/smt/dump.cpp b/src/smt/dump.cpp
index 3b9ec3273db932cb8da17a02b69b8ba9edb0789b..79bf43e3c7b2ffa0b5f69e1bc047a1decd4f66c2 100644 (file)
--- 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 {