From 331c0f5861060f4b6f3f14cf17bd2a15059bb54a Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Fri, 15 Jun 2012 02:16:41 +0000
Subject: [PATCH] Fixing mac compilation issues.

---
 src/theory/inst_match_impl.h                             | 2 +-
 src/theory/rewriterules/theory_rewriterules_preprocess.h | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/theory/inst_match_impl.h b/src/theory/inst_match_impl.h
index 18c4998b8..f48cdff2c 100644
--- a/src/theory/inst_match_impl.h
+++ b/src/theory/inst_match_impl.h
@@ -103,7 +103,7 @@ template<bool modEq>
 bool InstMatchTrie2<modEq>::addInstMatch( InstMatch& m ) {
  mapIter begin = m.d_map.begin();
  mapIter end = m.d_map.end();
- InstMatchTrie2<modEq>::Tree * e = &d_data;
+ typename InstMatchTrie2<modEq>::Tree * e = &d_data;
  mapIter diverge = begin;
  if( !existsInstMatch(e, begin, end, e, diverge ) ){
    Assert(!diverge->second.isNull());
diff --git a/src/theory/rewriterules/theory_rewriterules_preprocess.h b/src/theory/rewriterules/theory_rewriterules_preprocess.h
index f17e30758..5d9cebfec 100644
--- a/src/theory/rewriterules/theory_rewriterules_preprocess.h
+++ b/src/theory/rewriterules/theory_rewriterules_preprocess.h
@@ -20,8 +20,8 @@
 #define __CVC4__REWRITERULES_H
 
 #include <vector>
-#include <hash_set>
-#include <hash_map>
+#include <ext/hash_set>
+#include <ext/hash_map>
 #include "expr/expr.h"
 #include "expr/node.h"
 #include "theory/rewriterules/theory_rewriterules_params.h"
-- 
2.30.2