Improve "read" error msg
authorClifford Wolf <clifford@clifford.at>
Fri, 1 Mar 2019 04:34:42 +0000 (20:34 -0800)
committerClifford Wolf <clifford@clifford.at>
Fri, 1 Mar 2019 04:34:42 +0000 (20:34 -0800)
commit60e3c38054f10251021fa2f504ad2424da33aa1d
tree8132003faa377602a74f5ac16f9899f9b17eb8c3
parenta82a7eb42e4d7059ff6efa89b1013134015e118a
Improve "read" error msg

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/verific/verific.cc