Fix extremely stupid typo
authorClifford Wolf <clifford@clifford.at>
Sat, 11 Feb 2017 10:09:07 +0000 (11:09 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 11 Feb 2017 10:09:07 +0000 (11:09 +0100)
commiteb7b18e897ac908e960bee6c976f744043590881
tree0b389c8e7adf21191f573b97ef596aa21f446fe6
parent63dfdb5d7fcfb9c0ec2a5352a34cf9119e28766a
Fix extremely stupid typo
frontends/verific/verific.cc