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:

Next exception 'Doctrine\DBAL\Driver\PDOException' with message 
'SQLSTATE[HY000]: General error: 145 Table './mysql/proc' is marked 
as crashed and should be repaired' in ...

To repair it you can run the following sql command:

repair table mysql.proc;

and should get this result:

+------------+--------+----------+----------+
| Table      | Op     | Msg_type | Msg_text |
+------------+--------+----------+----------+
| mysql.proc | repair | status   | OK       |
+------------+--------+----------+----------+
1 row in set (0.00 sec)