Revert "prova diff"

This reverts commit 07b246b311e620204c24d813506c6f350c4af5c5.