tree 0c80ba47c52b822f190b1f7231774861b974e611
parent 36fd7a01f4d597ac286e0d72e408a3a73c9070b9
author Tony Mack <tmack@tux.cs.princeton.edu> 1411567731 -0400
committer Tony Mack <tmack@tux.cs.princeton.edu> 1411567731 -0400

set sliver name in save()