From b7be76b58846a68dea4c1fcae19d6c3f087994b9 Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Wed, 17 Feb 2016 22:58:01 -0500
Subject: [PATCH] fix for windows builds

---
 src/smt/dump.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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