summaryrefslogtreecommitdiff
path: root/sid.mli
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-11-06 22:29:44 +0100
committerPhilipp Gesang <phg@phi-gamma.net>2018-11-07 00:32:35 +0100
commit39b9f77dbccecad50fb355cffb0e8e432e28f825 (patch)
treec20e7e5a64bd20a54f4507c453d723ef6c277c84 /sid.mli
parent9991be9aeea6bc78b60603343e04245d374cbb93 (diff)
downloadocaml-sid-39b9f77dbccecad50fb355cffb0e8e432e28f825.tar.gz
sid: sid_test: handle large ias correctly
In string format, the “identifier authority” is quirky: from 1 << 32 on the spec requires that exactly 12 hex digits be printed.
Diffstat (limited to 'sid.mli')
0 files changed, 0 insertions, 0 deletions