Repair mysql.proc

Through a disk error in my virtual machine, a part of my MySQL database got corrupted. When running my application I run into the following error: »