tree 18955cbb397d29a7d20518c46c3808fc608a1ec2
parent b61c81c8364f7fc4ae132240dab6947f7370bd3a
author Tony Mack <tmack@paris.CS.Princeton.EDU> 1398114511 -0400
committer Tony Mack <tmack@paris.CS.Princeton.EDU> 1398114519 -0400

dont save sliver model here