tree ff33174439a4cf2117c39d4f0f8850d1e1254aef
parent 810240ccb15a212693601395134b150daf303ce0
author Sapan <sapanb@cs.princeton.edu> 1417582883 -0500
committer Sapan <sapanb@cs.princeton.edu> 1417582883 -0500

Make sync_slivers conform to sys