fix harmless slice_id does not end on newline warning
authorS.Çağlar Onur <caglar@cs.princeton.edu>
Wed, 12 May 2010 17:14:06 +0000 (17:14 +0000)
committerS.Çağlar Onur <caglar@cs.princeton.edu>
Wed, 12 May 2010 17:14:06 +0000 (17:14 +0000)
commit3ed0c5abe4c7923a6f3d0b17f00702381cc1f32f
tree304219b73a38416057fd089e795a9f8649beb054
parentec4b6618531a3168a5bff6dc2e13d4b124e14dd1
fix harmless slice_id does not end on newline warning
sliver_vs.py