Fixing mac compilation issues.

diff --git a/src/theory/inst_match_impl.h b/src/theory/inst_match_impl.h
index 18c4998b8f199d3cfabcd2025719ff17f777ab16..f48cdff2cea6998c661122130e418d5144569723 100644 (file)
--- 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 f17e30758717509d3da7b863a67e8d54a2f51081..5d9cebfec9df4b114c83dc88201a578952ead555 100644 (file)
--- 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"