ERROR 1548 when creating a procedure

When submitting the following SQL statement :

CREATE PROCEDURE dorepeat(p1 INT)
BEGIN
SET @x = 0;
REPEAT SET @x = @x + 1; UNTIL @x > p1 END REPEAT;
END;

I received the following error:

ERROR 1548 (HY000): Cannot load from mysql.proc. The table is probably corrupted