about summary refs log tree commit diff homepage
path: root/stp/AST/ToSAT.cpp
diff options
context:
space:
mode:
authorDaniel Dunbar <daniel@zuster.org>2010-05-02 20:20:31 +0000
committerDaniel Dunbar <daniel@zuster.org>2010-05-02 20:20:31 +0000
commit632b647a30d36f2eec82a0d71f3ae6ecfd2c020b (patch)
treeed0d2a1431b3ca6670ed45c3037054924e866a03 /stp/AST/ToSAT.cpp
parent20ec2186c190f753e62e2f2adca00742398e37ba (diff)
downloadklee-632b647a30d36f2eec82a0d71f3ae6ecfd2c020b.tar.gz
Remove bogus const applied to return type.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102876 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'stp/AST/ToSAT.cpp')
-rw-r--r--stp/AST/ToSAT.cpp2
1 files changed, 1 insertions, 1 deletions
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;