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

fix sync steps