Chyba syntaxe MySQL v příkazu WHILE

Postup vypadá dobře Myslím, že vám chybí oddělovač

delimiter //
CREATE PROCEDURE dowhile()
  BEGIN
   DECLARE v1 INT DEFAULT 5;
    WHILE v1 > 0 DO
     SET v1 = v1 - 1;
   END WHILE;
 END; //
delimiter ;