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/ToSAT.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'stp/AST/ToSAT.cpp') 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; -- cgit 1.4.1