patrick/anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Fixed minor incorrect variable references.

Browse Source
This commit is contained in:
Patrick Lühne 2017-04-10 17:50:19 +02:00
parent 57bc28bfd3
commit 6e7abb283e
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/anthem/Completion.cpp
View File

@ -42,7 +42,7 @@ ast::Formula buildCompletedFormulaDisjunction(const ast::Predicate &predicate, c
for (const auto &formula : formulas) for (const auto &formula : formulas)
{ {
assert(formula.is<ast::Implies>()); assert(formula.is<ast::Implies>());
auto &implies = formula.get<ast::Implies>(); const auto &implies = formula.get<ast::Implies>();
if (!implies.consequent.is<ast::Predicate>()) if (!implies.consequent.is<ast::Predicate>())
continue; continue;

2
src/anthem/Simplification.cpp
View File

@ -17,7 +17,7 @@ bool matchesVariable(const ast::Term &term, const ast::Variable &variable)
if (!term.is<ast::Variable>()) if (!term.is<ast::Variable>())
return false; return false;
const auto otherVariable = term.get<ast::Variable>(); const auto &otherVariable = term.get<ast::Variable>();
return variable.name == otherVariable.name; return variable.name == otherVariable.name;
} }