Fix tests/opt/opt_rmdff
authorClaire Wolf <claire@symbioticeda.com>
Tue, 9 Jun 2020 17:14:36 +0000 (19:14 +0200)
committerClaire Wolf <claire@symbioticeda.com>
Tue, 9 Jun 2020 20:48:26 +0000 (22:48 +0200)
commitb3b515087d61762ee350e9fce9cb77fb6cacaa3a
treeea6508f0f09ab1c2f1329162c9479e277c1abcf1
parent0bd70e8222c9a95352dd880df1099e3185793004
Fix tests/opt/opt_rmdff

This only passed before because "prep" was also running opt_rmdff

Signed-off-by: Claire Wolf <claire@symbioticeda.com>
tests/opt/opt_rmdff.v
tests/opt/opt_rmdff.ys