docs: changing repairnator file used to run the example (#1015)
docs: changing repairnator file used to run the example (#1015)


Spirals-Team/librepair,Spirals-Team/librepair,Spirals-Team/librepair,Spirals-Team/librepair,Spirals-Team/librepair