remove redundant code
commitd7acb75d10b0dee92e31e5ce6b8a6277c335731f
authorskimo <skimo>
Sun, 31 Oct 2004 09:34:22 +0000 (31 09:34 +0000)
committerskimo <skimo>
Sun, 31 Oct 2004 09:34:22 +0000 (31 09:34 +0000)
tree69a2fc14c2b1a6bdd91d86af946f3c83aa4e5f6e
parent45c91f5b7423f27efcea6b9e9a1f625c86911a3d
remove redundant code
barvinok.cc