diff options
| author | Wiimm <wiimm@wiimm.de> | 2024-02-17 11:45:01 +0100 |
|---|---|---|
| committer | Wiimm <wiimm@wiimm.de> | 2024-02-17 11:45:01 +0100 |
| commit | 685554b2c272fdefc23bb1d237c059b52ab5fc58 (patch) | |
| tree | 9e0e7ff41f688bdc07fdb7869fc0258725197bcf /project/src/wmdlt.c | |
| parent | ac9a0b25eaffaa05e5431a8527dab8649ef6504f (diff) | |
SZS v2.41a
Diffstat (limited to 'project/src/wmdlt.c')
| -rw-r--r-- | project/src/wmdlt.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/project/src/wmdlt.c b/project/src/wmdlt.c index 72f37b0..f9e3ddc 100644 --- a/project/src/wmdlt.c +++ b/project/src/wmdlt.c @@ -566,6 +566,7 @@ static enumError CheckOptions ( int argc, char ** argv, bool is_env ) case GO_DE: use_de = true; break; case GO_CT_CODE: ctcode_enabled = true; break; case GO_LE_CODE: lecode_enabled = true; break; // optional argument ignored + case GO_LE_04X: lecode_04x = true; break; case GO_COLORS: err += ScanOptColorize(0,optarg,0); break; case GO_NO_COLORS: opt_colorize = COLMD_OFF; break; |