In Synth.sol, the function burnSynth() calculates a division between two variables. Since they can be zero, its better to have a require with a clear error message when the division is not possible, otherwise an user wouldnt know why a transaction reverted.
Recommend adding a require(denom != 0, "LPDebt = 0").
verifyfirst (Spartan) confirmed:
