Little change

A little change of ProvaGit.h