tree d52c90d4c583dc82f20ff31196f4863e89f49996
parent dfefe9db61e02e03d66bc2ac625576483abb931f
author Tony Mack <tmack@paris.CS.Princeton.EDU> 1372096206 -0400
committer Tony Mack <tmack@paris.CS.Princeton.EDU> 1372096206 -0400

fix bug in sync_sliver