Skip to content

Commit

Permalink
Merge pull request #287 from ponder-lab/patch
Browse files Browse the repository at this point in the history
Update this branch
  • Loading branch information
khatchad authored Nov 10, 2023
2 parents c4ddc17 + b38e2a0 commit 8aa7e21
Showing 1 changed file with 0 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -252,10 +252,6 @@ private RefactoringStatus checkFunctions(IProgressMonitor monitor) throws Operat
LOG.warn("Unable to infer side-effects of: " + func + ".", e);
func.addFailure(PreconditionFailure.UNDETERMINABLE_SIDE_EFFECTS,
"Can't infer side-effects, most likely due to a call graph issue caused by a decorator or a missing function call.");
// next function. FIXME: Why not continue?
status.merge(func.getStatus());
subMonitor.worked(1);
return;
}

// check the function preconditions.
Expand Down

0 comments on commit 8aa7e21

Please sign in to comment.