tree 0c80ba47c52b822f190b1f7231774861b974e611
parent 2faa969719be17dee75554110ac19a41c1cb04b3
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()