From 6084cbd065292449ff97b931e42a3fb64fd93029 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 24 Mar 2013 11:25:43 -0700
Subject: [PATCH] fix build breaks

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/test/karr.cpp       | 2 +-
 src/util/bit_vector.cpp | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/test/karr.cpp b/src/test/karr.cpp
index f6e572670..3ac427a88 100644
--- a/src/test/karr.cpp
+++ b/src/test/karr.cpp
@@ -43,7 +43,7 @@ namespace karr {
         hilbert_basis hb;
         for (unsigned i = 0; i < src.size(); ++i) {
             vector<rational> v(src.A[i]);
-            v.append(src.b[i]);
+            v.push_back(src.b[i]);
             hb.add_eq(v, rational(0));
         }
         for (unsigned i = 0; i < 1 + src.A[0].size(); ++i) {
diff --git a/src/util/bit_vector.cpp b/src/util/bit_vector.cpp
index 2328a5849..3b470a3ce 100644
--- a/src/util/bit_vector.cpp
+++ b/src/util/bit_vector.cpp
@@ -18,6 +18,7 @@ Revision History:
 --*/
 
 #include"bit_vector.h"
+#include"util.h"
 #include"trace.h"
 
 #define DEFAULT_CAPACITY 2