From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Wed, 6 Jan 2016 21:02:50 +0000 (-0500)
Subject: fix windows builds
X-Git-Tag: cvc5-1.0.0~6115
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3a78a63994a4549816e26473ddb26d84e0dfd945;p=cvc5.git

fix windows builds
---

diff --git a/src/expr/statistics_registry.h b/src/expr/statistics_registry.h
index 3feb0d5d7..3225f6672 100644
--- a/src/expr/statistics_registry.h
+++ b/src/expr/statistics_registry.h
@@ -32,6 +32,7 @@
 
 #include "base/exception.h"
 #include "expr/statistics.h"
+#include "lib/clock_gettime.h"
 
 namespace CVC4 {