Important Bugfix. My last checkin only initialised a variable in a constructor that...

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1467 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/AST/ASTInternal.h b/src/AST/ASTInternal.h
index 56e2149075ae1f52b3b856543cb1bf145b2a06a2..9f1abd1b847756084e5661e4c106cef8c4f5765e 100644 (file)
--- a/src/AST/ASTInternal.h
+++ b/src/AST/ASTInternal.h
@@ -126,19 +126,11 @@ namespace BEEV
      * Public Member Functions                                      *
      ****************************************************************/
     
-    // Constructor
-    ASTInternal(int nodenum = 0) :
-      _ref_count(0), _kind(UNDEFINED),
-      _node_num(nodenum), 
-      _index_width(0), _value_width(0), iteration(0)
-    {
-    }
-
     // Constructor (kind only, empty children, int nodenum)
     ASTInternal(Kind kind, int nodenum = 0) :
       _ref_count(0), _kind(kind),
       _node_num(nodenum),
-      _index_width(0), _value_width(0)
+      _index_width(0), _value_width(0), iteration(0)
     {
     }
 
@@ -149,10 +141,10 @@ namespace BEEV
     // FIXME:  I don't think children need to be copied.
     ASTInternal(const ASTInternal &int_node, int nodenum = 0) :
       _ref_count(0), _kind(int_node._kind), 
-      //_children(int_node._children),
       _node_num(int_node._node_num), 
       _index_width(int_node._index_width),
-      _value_width(int_node._value_width)
+      _value_width(int_node._value_width),
+      iteration(0)
     {
     }
 

diff --git a/src/AST/ASTSymbol.h b/src/AST/ASTSymbol.h
index 2658686d256ed936f391c82cdec9ac95738851ed..c0c04e4d16dc7a586e6eadece3c507001cab2ec3 100644 (file)
--- a/src/AST/ASTSymbol.h
+++ b/src/AST/ASTSymbol.h
@@ -107,11 +107,6 @@ namespace BEEV
      * Public Member Functions                                      *
      ****************************************************************/
 
-    // Default constructor
-    ASTSymbol() :
-      ASTInternal(), _name(NULL)
-    {
-    }
 
     // Constructor.  This does NOT copy its argument.
     ASTSymbol(const char * const name) :