Encode block numbers properly.

This commit is contained in:
Fang 2018-05-03 17:16:47 +02:00
parent 5d9ef4f872
commit 1e0326f739

View File

@ -117,7 +117,7 @@
|= dob=block
^- json
?- -.dob
%number s+(crip '0' 'x' ((d-co:co 1) n.dob))
%number s+(crip '0' 'x' ((x-co:co 1) n.dob))
%label s+l.dob
==
::