Not necessarily. A repair will set Avast to default settings. Depending on how many settings a user’s changed on his/her own, it might be more time consuming to repair. (And it doesn’t even sound “broken”, really.)