Fix tests/various/specify.v
authorClifford Wolf <clifford@clifford.at>
Wed, 3 Jul 2019 09:25:05 +0000 (11:25 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 3 Jul 2019 09:25:05 +0000 (11:25 +0200)
commit1f173210ebbf2cd5b5714e351ed40b6141d90b14
treed50bdfa62b6d7743c0c5b4b7a0f8b05778a2552a
parentba365679082cff2b9879eef5349bfdf2b5291449
Fix tests/various/specify.v

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