Lattice Mach CPLD - Leonardo Spectrum vs. Synplify

I'm using the downloadable version of ispLever for a verilog project on a
Lattice Mach 4 CPLD chip.  The software has both Synplify and Leonardo
Spectrum available for synthesis.  I can build the code (so far, anyway)
with either tool.  Is there any reason why I should choose one over the
other?

--
David

"I love deadlines.  I love the whooshing noise they make as they go past."
Douglas Adams