Default to 3 decimals

This commit is contained in:
Niels G. W. Serup 2024-10-05 17:41:13 +02:00
parent 84b189f722
commit 7801371534
No known key found for this signature in database
GPG Key ID: 38EEEBCE67324F19
1 changed files with 1 additions and 1 deletions

View File

@ -63,7 +63,7 @@ formatDependencyTrees = T.concat . (formatDependencyTrees' "")
formatUToken = \case formatUToken = \case
UToken i -> UToken i ->
[ T.pack (printf "%02d" i) ] [ T.pack (printf "%03d" i) ]
UTupleToken (a, b) -> UTupleToken (a, b) ->
concat [ [ "tup(" ] concat [ [ "tup(" ]
, formatUToken a , formatUToken a