Remove two declarations nothing can apply - #1167

Remove two declarations nothing can apply#1167

fabiomadge wants to merge 1 commit into

masterboogie-org/boogie:masterfrom

cleanup/unreachable-uorderingboogie-org/boogie:cleanup/unreachable-uorderingCopy head branch name to clipboard