That's what I wrote, no?

Qt Code: 
  1. // and a transition that triggers s1 -> s2 when the slash closes/times out.
To copy to clipboard, switch view to plain text mode 

Cheers,
_