Errore di sintassi MySQL nell'istruzione WHILE

La procedura sembra ok, immagino che manchi il delimitatore

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