#205: 1 prec not an error, 0 prec is

This commit is contained in:
Louis Rubet 2018-07-28 12:49:14 +02:00
parent 7322d12944
commit 0a2a999815

View file

@ -62,7 +62,7 @@ pi
del
# prec error (1)
1 prec
0 prec
-> error should be 4
del