Fix tests/simple/specify.v
authorClifford Wolf <clifford@clifford.at>
Tue, 27 Mar 2018 12:31:19 +0000 (14:31 +0200)
committerClifford Wolf <clifford@clifford.at>
Tue, 27 Mar 2018 12:34:00 +0000 (14:34 +0200)
commit5e49ee5c2d52d504334a6cbbf7d9e0250e00a515
treee74289946cbe76dc5182ac45ce6f8ab978f6084e
parent6378e2cd46711fed551ecf3201cee1f174d7053d
Fix tests/simple/specify.v

Signed-off-by: Clifford Wolf <clifford@clifford.at>
tests/simple/specify.v