Removing the friend class modifier from ExtTheory to Theory.

diff --git a/src/theory/theory.h b/src/theory/theory.h
index 8f6efcf3640a5aca4533d578e8aeec8a61661281..d34d3c5492def502d67060d58adcdf43d031a4db 100644 (file)
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -911,7 +911,6 @@ public:
 
 
 class ExtTheory {
-  friend class Theory;
   typedef context::CDHashMap<Node, bool, NodeHashFunction> NodeBoolMap;
   typedef context::CDHashSet<Node, NodeHashFunction> NodeSet;
 protected: