fix bug in test 3017
authorrkao <rkao>
Wed, 17 Dec 2008 18:43:03 +0000 (18:43 +0000)
committerrkao <rkao>
Wed, 17 Dec 2008 18:43:03 +0000 (18:43 +0000)
commitcf9c64e83d55fcac0477f6332186e9ffb2f27392
treeb8808a7c557a1fecc8621a6012ac51dd2c929520
parentadd513210e5b1f66353f3629065709ee45e89a0a
fix bug in test 3017
testCode/com/sun/vlsi/chips/marina/test/MarinaTest.java