This paper shows that the value function describing efficient risk sharing with limited commitment is not necessarily differentiable everywhere. We link differentiability of the value function to history dependence of efficient allocations and provide sufficient conditions for both properties.