From 78db1d0f86c35b424522ea600b52f9604c2e1eae Mon Sep 17 00:00:00 2001
From: Nuno Lopes <t-nclaud@microsoft.com>
Date: Wed, 1 May 2013 16:13:24 -0700
Subject: [PATCH] fix build of unit tests

Signed-off-by: Nuno Lopes <t-nclaud@microsoft.com>
---
 src/smt/diff_logic.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smt/diff_logic.h b/src/smt/diff_logic.h
index f6576a41f..7216bba7e 100644
--- a/src/smt/diff_logic.h
+++ b/src/smt/diff_logic.h
@@ -21,6 +21,7 @@ Revision History:
 
 #include"vector.h"
 #include"heap.h"
+#include"statistics.h"
 #include"trace.h"
 #include"warning.h"