1 files changed, 0 insertions, 8 deletions
diff --git a/src/theory/valuation.cpp b/src/theory/valuation.cpp
index 604ae21e1..536255c2d 100644
--- a/src/theory/valuation.cpp
+++ b/src/theory/valuation.cpp
@@ -41,13 +41,5 @@ Node Valuation::getSatValue(TNode n) const{
   }
 }
 
-Node Valuation::simplify(TNode in, Substitutions& outSubstitutions) {
-  return d_engine->simplify(in, outSubstitutions);
-}
-
-Node Valuation::rewrite(TNode in) {
-  return d_engine->preprocess(in);
-}
-
 }/* CVC4::theory namespace */
 }/* CVC4 namespace */