summaryrefslogtreecommitdiff
path: root/Binaries
ModeNameSize
-rw-r--r--DafnyPrelude.bpl26447logplain