Fixed one thing in synch.h/c
Merge branch 'master' of https://github.com/ldowson/cs140winter2014