pierreganty/mist — pull request #2 by fniksic (2013-02-11 11:17:52+00:00)
Title: A Typo in Lamport Example

The variable q3 was accidentally left unconstrained in lamport.spec.