Revert "Merging proof branch"

This reverts commit 89ba584531115b7f6d47088d7614368ea05ab9d8.

1 files changed, 0 insertions, 7 deletions

diff --git a/src/proof/proof_manager.h b/src/proof/proof_manager.h
index c6454b652..c74aac237 100644
--- a/src/proof/proof_manager.h
+++ b/src/proof/proof_manager.h
@@ -34,8 +34,6 @@
 
 namespace CVC4 {
 
-class SmtGlobals;
-
 // forward declarations
 namespace Minisat {
   class Solver;
@@ -138,8 +136,6 @@ class ProofManager {
 
   std::set<Type> d_printedTypes;
 
-  std::map<std::string, std::string> d_rewriteFilters;
-
 protected:
   LogicInfo d_logic;
 
@@ -228,9 +224,6 @@ public:
   void markPrinted(const Type& type);
   bool wasPrinted(const Type& type) const;
 
-  void addRewriteFilter(const std::string &original, const std::string &substitute);
-  void clearRewriteFilters();
-
 };/* class ProofManager */
 
 class LFSCProof : public Proof {