From: Tim King <taking@cs.nyu.edu>
Date: Fri, 15 Jun 2012 02:16:41 +0000 (+0000)
Subject: Fixing mac compilation issues.
X-Git-Tag: cvc5-1.0.0~7999
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=331c0f5861060f4b6f3f14cf17bd2a15059bb54a;p=cvc5.git

Fixing mac compilation issues.
---

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"