[minor] Update proof general.