Add "read -incdir"
authorClifford Wolf <clifford@clifford.at>
Mon, 16 Jul 2018 13:32:26 +0000 (15:32 +0200)
committerClifford Wolf <clifford@clifford.at>
Mon, 16 Jul 2018 13:32:26 +0000 (15:32 +0200)
commitf39b897545c0f9b4d02c77cc7b6cd2a3bfc6082f
treefa2685ebbe232957759d93f055e23b6ce0fd47ac
parent8b92ddb9d2635c30636b17ff3d24bc09a44b8551
Add "read -incdir"

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