1 files changed, 19 insertions, 2 deletions
diff --git a/src/theory/arrays/theory_arrays.cpp b/src/theory/arrays/theory_arrays.cpp
index ab72a0a8c..b84b1e507 100644
--- a/src/theory/arrays/theory_arrays.cpp
+++ b/src/theory/arrays/theory_arrays.cpp
@@ -16,9 +16,11 @@
  ** Implementation of the theory of arrays.
  **/
 
+
 #include "theory/arrays/theory_arrays.h"
 #include "expr/kind.h"
 
+
 using namespace std;
 using namespace CVC4;
 using namespace CVC4::kind;
@@ -26,14 +28,29 @@ using namespace CVC4::context;
 using namespace CVC4::theory;
 using namespace CVC4::theory::arrays;
 
-TheoryArrays::TheoryArrays(Context* c, OutputChannel& out) :
-  Theory(c, out)
+
+TheoryArrays::TheoryArrays(int id, Context* c, OutputChannel& out) :
+  Theory(id, c, out)
 {
 }
 
+
 TheoryArrays::~TheoryArrays() {
 }
 
+
+void TheoryArrays::addSharedTerm(TNode t) {
+  Debug("arrays") << "TheoryArrays::addSharedTerm(): "
+                  << t << endl;
+}
+
+
+void TheoryArrays::notifyEq(TNode eq) {
+  Debug("arrays") << "TheoryArrays::notifyEq(): "
+                  << eq << endl;
+}
+
+
 void TheoryArrays::check(Effort e) {
   while(!done()) {
     Node assertion = get();