Skip to content

Commit bc09b17

Browse files
authored
Update IDESolver.h
1 parent 7e95637 commit bc09b17

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

  • include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Solver

include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Solver/IDESolver.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1098,7 +1098,7 @@ class IDESolver
10981098
// return site using the composed function
10991099
auto RevLookupResult = JumpFn->reverseLookup(c, d4);
11001100
if (RevLookupResult) {
1101-
for (auto ValAndFunc : RevLooupResult->get()) {
1101+
for (auto ValAndFunc : RevLookupResult->get()) {
11021102
EdgeFunctionPtrType f3 = ValAndFunc.second;
11031103
if (!f3->equal_to(AllTop)) {
11041104
d_t d3 = ValAndFunc.first;

0 commit comments

Comments
 (0)