Fix "read -incdir"
authorClifford Wolf <clifford@clifford.at>
Mon, 16 Jul 2018 14:48:09 +0000 (16:48 +0200)
committerClifford Wolf <clifford@clifford.at>
Mon, 16 Jul 2018 14:48:09 +0000 (16:48 +0200)
commitf897af626dc8f84c79dc9274a5a5fa868018480f
treedc413775f670a6288a69f31d26268a0aa496d63f
parentee68b4d96388f31321fbe7d924b00eb9532aed6b
Fix "read -incdir"

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