diff options
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; |