From 56dedec740b3f7bf4c4ab35fa5758afc109a8e87 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 18 May 2013 10:02:53 -0700
Subject: [PATCH] fix build break include uint_set.h

Signed-off-by: Nikolaj Bjorner <nbjorner@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 020268e57..6fd156e41 100644
--- a/src/smt/diff_logic.h
+++ b/src/smt/diff_logic.h
@@ -24,6 +24,7 @@ Revision History:
 #include"statistics.h"
 #include"trace.h"
 #include"warning.h"
+#include"uint_set.h"
 
 typedef int dl_var;