tree 21004c8266c43187e9d5295af1b383af6d16ca22
parent 074a110381d37069a10ecb6aa32efa57f3218540
author Tony Mack <tmack@cs.princeton.edu> 1424805403 -0500
committer Tony Mack <tmack@cs.princeton.edu> 1424805403 -0500

fix sync steps