From 3a78a63994a4549816e26473ddb26d84e0dfd945 Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Wed, 6 Jan 2016 16:02:50 -0500
Subject: [PATCH] fix windows builds

---
 src/expr/statistics_registry.h | 1 +
 1 file changed, 1 insertion(+)

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