From 014a36919e5a07ef6f62ff82cadb1afb986ee632 Mon Sep 17 00:00:00 2001
From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Sun, 10 Apr 2011 03:53:14 +0000
Subject: [PATCH] Revert the previous revision. It broke lots.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1261 e59a4935-1847-0410-ae03-e826735625c1
---
 src/AST/ArrayTransformer.h | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/src/AST/ArrayTransformer.h b/src/AST/ArrayTransformer.h
index 660ebd9..eb03e54 100644
--- a/src/AST/ArrayTransformer.h
+++ b/src/AST/ArrayTransformer.h
@@ -12,7 +12,7 @@
 
 #include "AST.h"
 #include "../STPManager/STPManager.h"
-#include "../AST/NodeFactory/SimplifyingNodeFactory.h"
+
 
 namespace BEEV
 {
@@ -111,7 +111,7 @@ namespace BEEV
       debug_transform(0),
       TransformMap(NULL)
     {
-      nf = new SimplifyingNodeFactory(*(bm->hashingNodeFactory), *bm);
+      nf = bm->defaultNodeFactory;
 
       runTimes = bm->GetRunTimes();
       ASTTrue  = bm->CreateNode(TRUE);
@@ -119,11 +119,6 @@ namespace BEEV
       ASTUndefined = bm->CreateNode(UNDEFINED);
     }
 
-    ~ArrayTransformer()
-    {
-      delete nf;
-    }
-
     // Takes a formula, transforms it by replacing array reads with
     // variables, and returns the transformed formula
     ASTNode TransformFormula_TopLevel(const ASTNode& form);
-- 
2.47.3