diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/dump.lua | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/dump.lua b/lib/dump.lua index 7bee9e79..f567d3d7 100644 --- a/lib/dump.lua +++ b/lib/dump.lua | |||
| @@ -134,6 +134,7 @@ local irtype_text = { | |||
| 134 | "pro", | 134 | "pro", |
| 135 | "fun", | 135 | "fun", |
| 136 | "t09", | 136 | "t09", |
| 137 | "cdt", | ||
| 137 | "tab", | 138 | "tab", |
| 138 | "udt", | 139 | "udt", |
| 139 | "num", | 140 | "num", |
| @@ -155,6 +156,7 @@ local colortype_ansi = { | |||
| 155 | "%s", | 156 | "%s", |
| 156 | "\027[1m%s\027[m", | 157 | "\027[1m%s\027[m", |
| 157 | "%s", | 158 | "%s", |
| 159 | "\027[33m%s\027[m", | ||
| 158 | "\027[31m%s\027[m", | 160 | "\027[31m%s\027[m", |
| 159 | "\027[36m%s\027[m", | 161 | "\027[36m%s\027[m", |
| 160 | "\027[34m%s\027[m", | 162 | "\027[34m%s\027[m", |