From 632b647a30d36f2eec82a0d71f3ae6ecfd2c020b Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sun, 2 May 2010 20:20:31 +0000 Subject: Remove bogus const applied to return type. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102876 91177308-0d34-0410-b5e6-96231b3b80d8 --- stp/AST/AST.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'stp/AST/AST.cpp') diff --git a/stp/AST/AST.cpp b/stp/AST/AST.cpp index e75620ec..63319de9 100644 --- a/stp/AST/AST.cpp +++ b/stp/AST/AST.cpp @@ -159,7 +159,7 @@ namespace BEEV { } // Get the name from a symbol (char *). It's an error if kind != SYMBOL - const char * const ASTNode::GetName() const { + const char *ASTNode::GetName() const { if (GetKind() != SYMBOL) FatalError("GetName: Called GetName on a non-symbol: ", *this); return ((ASTSymbol *) _int_node_ptr)->GetName(); @@ -871,7 +871,7 @@ namespace BEEV { } // Get the value of bvconst from a bvconst. It's an error if kind != BVCONST - CBV const ASTNode::GetBVConst() const { + CBV ASTNode::GetBVConst() const { if(GetKind() != BVCONST) FatalError("GetBVConst: non bitvector-constant: ",*this); return ((ASTBVConst *) _int_node_ptr)->GetBVConst(); -- cgit 1.4.1