From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Thu, 18 Feb 2016 03:58:01 +0000 (-0500)
Subject: fix for windows builds
X-Git-Tag: cvc5-1.0.0~6049^2~121
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b7be76b58846a68dea4c1fcae19d6c3f087994b9;p=cvc5.git

fix for windows builds
---

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 {