diff options
Diffstat (limited to 'dist/docs/readme.txt')
| -rw-r--r-- | dist/docs/readme.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dist/docs/readme.txt b/dist/docs/readme.txt index e51a5de..b37c779 100644 --- a/dist/docs/readme.txt +++ b/dist/docs/readme.txt @@ -51,6 +51,7 @@ occ (0): ouput copyright comment ner (1): assume return not throwing exceptions den (1): decompile enumerations rgn (1): remove getClass() invocation, when it is part of a qualified new statement +lit (0): output numeric and character literals "as-is" bto (1): interpret int 1 as boolean true (workaround to a compiler bug) nns (1): allow for not set synthetic attribute (workaround to a compiler bug) uto (1): consider nameless types as java.lang.Object (workaround to a compiler architecture flaw) |