From 8370a6503cb2f019562104edde7d7b974f01675e Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Wed, 4 Jan 2012 14:49:35 +0000 Subject: [PATCH] Important Bugfix. My last checkin only initialised a variable in a constructor that isn't used. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1467 e59a4935-1847-0410-ae03-e826735625c1 --- src/AST/ASTInternal.h | 14 +++----------- src/AST/ASTSymbol.h | 5 ----- 2 files changed, 3 insertions(+), 16 deletions(-) diff --git a/src/AST/ASTInternal.h b/src/AST/ASTInternal.h index 56e2149..9f1abd1 100644 --- 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 2658686..c0c04e4 100644 --- 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) : -- 2.47.3