lamport-me: remove an unused variable