Remove patch for Ledger formula.

The patch has been pushed upstream, so it is not needed any longer.