diff options
author | Daniel Dunbar <daniel@zuster.org> | 2010-05-02 20:20:31 +0000 |
---|---|---|
committer | Daniel Dunbar <daniel@zuster.org> | 2010-05-02 20:20:31 +0000 |
commit | 632b647a30d36f2eec82a0d71f3ae6ecfd2c020b (patch) | |
tree | ed0d2a1431b3ca6670ed45c3037054924e866a03 /stp/AST/ToSAT.cpp | |
parent | 20ec2186c190f753e62e2f2adca00742398e37ba (diff) | |
download | klee-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.cpp | 2 |
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; |