From 6f415a74fd974985568125a2cf68a07524eb0a71 Mon Sep 17 00:00:00 2001
From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Thu, 15 Mar 2012 12:38:21 +0000
Subject: [PATCH] Beautification. Pointer to the base class instead of the
 derived class.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1597 e59a4935-1847-0410-ae03-e826735625c1
---
 src/STPManager/STP.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/STPManager/STP.h b/src/STPManager/STP.h
index 4ff85f4..e6c3967 100644
--- a/src/STPManager/STP.h
+++ b/src/STPManager/STP.h
@@ -61,7 +61,7 @@ ArrayTransformer * arrayTransformer;
      ****************************************************************/
     STPMgr * bm;
     Simplifier * simp;
-    ToSAT * tosat;
+    ToSATBase * tosat;
     AbsRefine_CounterExample * Ctr_Example;
 
     /****************************************************************
@@ -72,7 +72,7 @@ ArrayTransformer * arrayTransformer;
     STP(STPMgr* b,
         Simplifier* s,
         ArrayTransformer * a,
-        ToSAT * ts,
+        ToSATBase * ts,
         AbsRefine_CounterExample * ce)
     {
       bm   = b;
@@ -88,7 +88,7 @@ ArrayTransformer * arrayTransformer;
         Simplifier* s,
         BVSolver* bsolv,
         ArrayTransformer * a,
-        ToSAT * ts,
+        ToSATBase * ts,
         AbsRefine_CounterExample * ce)    
     {
       bm   = b;
-- 
2.47.3