The timer example model has a syntax error: ``` edge reset do t := 10; goto running; ``` The `;` after `10` should be removed. Addresses #679