A little planning & fore-thought could have prevented this, surely? Or mitigated the outcome?
Thankfully, the outcome wasn't too serious.
A longer runner? 2 ropes instead of one? Any other point to place protection?
A cut rope is a very rare event in rock climbing.
I've put it here, in regards to tech tips, rather than in the General Discussion forum, or the Climbing Accidents forum.
(Not pointing the finger or assigning blame here, lord knows I've made enough F-ups in my climbing career. )