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

diff --git a/src/STPManager/STP.h b/src/STPManager/STP.h
index 4ff85f42b8552848bdc437cb494e184d88017bda..e6c39672f0a5f1ee0e28594576e63384d3b4fe29 100644 (file)
--- 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;