Remove bogus const applied to return type.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102876 91177308-0d34-0410-b5e6-96231b3b80d8

3 files changed, 9 insertions, 9 deletions

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();      
diff --git a/stp/AST/AST.h b/stp/AST/AST.h
index 4277029e..3052107f 100644
--- a/stp/AST/AST.h
+++ b/stp/AST/AST.h
@@ -191,11 +191,11 @@ namespace BEEV {
     };  
 
     // Get the name from a symbol (char *).  It's an error if kind != SYMBOL
-    const char * const GetName() const;
+    const char *GetName() const;
 
     //Get the BVCONST value
 #ifndef NATIVE_C_ARITH
-    const CBV GetBVConst() const;
+    CBV GetBVConst() const;
 #else
     unsigned long long int GetBVConst() const;
 #endif
@@ -234,7 +234,7 @@ namespace BEEV {
     types GetType(void) const;
 
     // Hash is pointer value of _int_node_ptr.
-    const size_t Hash() const{ 
+    size_t Hash() const{ 
       return (size_t) _int_node_ptr; 
       //return GetNodeNum(); 
     }
@@ -346,7 +346,7 @@ namespace BEEV {
     // table entry so it can be deleted without looking it up again.
     void DecRef();
 
-    virtual const Kind GetKind() const { return _kind; }
+    virtual Kind GetKind() const { return _kind; }
 
     virtual ASTVec const &GetChildren() const { return _children; }
 
@@ -514,7 +514,7 @@ namespace BEEV {
       return (strcmp(sym1._name, sym2._name) == 0);
     }
 
-    const char * const GetName() const{return _name;}  
+    const char *GetName() const{return _name;}  
 
     // Print function for symbol -- return name */
     virtual void nodeprint(ostream& os) { os << _name;}
@@ -1478,7 +1478,7 @@ namespace BEEV {
 
     //looksup a MINISAT var from the minisat-var memo-table. if none
     //exists, then creates one.
-    const MINISAT::Var LookupOrCreateSATVar(MINISAT::Solver& S, const ASTNode& n);
+    MINISAT::Var LookupOrCreateSATVar(MINISAT::Solver& S, const ASTNode& n);
 
     // Memo table for CheckBBandCNF debugging function
     ASTNodeMap CheckBBandCNFMemo;
diff --git a/stp/AST/ToSAT.cpp b/stp/AST/ToSAT.cpp
index ed8f1761..3ad21f93 100644
--- a/stp/AST/ToSAT.cpp
+++ b/stp/AST/ToSAT.cpp
@@ -17,7 +17,7 @@ namespace BEEV {
    * lookup or create new MINISAT Vars from the global MAP
    * _ASTNode_to_SATVar.
    */
-  const MINISAT::Var BeevMgr::LookupOrCreateSATVar(MINISAT::Solver& newS, const ASTNode& n) {  
+  MINISAT::Var BeevMgr::LookupOrCreateSATVar(MINISAT::Solver& newS, const ASTNode& n) {  
     ASTtoSATMap::iterator it;  
     MINISAT::Var v;