Quick Synthesis bug?

Printable View