1 files changed, 5 insertions, 15 deletions
diff --git a/src/theory/theory.cpp b/src/theory/theory.cpp
index cf52de75e..17a35f2ed 100644
--- a/src/theory/theory.cpp
+++ b/src/theory/theory.cpp
@@ -14,24 +14,14 @@
  **/
 
 #include "theory/theory.h"
+#include "util/Assert.h"
 
-namespace CVC4 {
-namespace theory {
-
-bool Theory::done() {
-  return d_nextAssertion >= d_assertions.size(); 
-}
+#include <vector>
 
+using namespace std;
 
-Node Theory::get() {
-  Node n = d_assertions[d_nextAssertion];
-  d_nextAssertion = d_nextAssertion + 1;
-  return n;
-}
-
-void Theory::assertFact(const Node& n){
-  d_assertions.push_back(n);
-}
+namespace CVC4 {
+namespace theory {
 
 }/* CVC4::theory namespace */
 }/* CVC4 namespace */