Add "read -undef"
authorClifford Wolf <clifford@clifford.at>
Thu, 28 Jun 2018 21:43:38 +0000 (23:43 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 28 Jun 2018 21:43:38 +0000 (23:43 +0200)
commit07e616900c2d6ddf021644f9687954d92ac8109a
treebc7a040dfbc5276741dc408bf16d688848d40f31
parentfe2ee833e154691ef61cc72833b86e02266039a2
Add "read -undef"

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