pock: Report `duplicate label' as an expected error.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 7 Feb 2019 11:27:20 +0000 (11:27 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 7 Feb 2019 11:43:18 +0000 (11:43 +0000)
commit31b5a1fe9593d7d5d1064433378315f8f8a4f450
treeae7603a7491697d18ef816f9267cecf402d459ca
parent596f3d9653d1a5ae60297201c213f21d08331e5b
pock: Report `duplicate label' as an expected error.

It shouldn't result in a backtrace.
pock