Есть ли ошибка в этом операторе цикла?
while a>b do
x:=x+1
a:=a-1