diff options
-rw-r--r-- | src/options/strings_options.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/strings_options.toml b/src/options/strings_options.toml index 77056e279..3544c37fe 100644 --- a/src/options/strings_options.toml +++ b/src/options/strings_options.toml @@ -205,7 +205,7 @@ header = "options/strings_options.h" category = "regular" long = "re-elim" type = "bool" - default = "false" + default = "true" help = "elimination techniques for regular expressions" [[option]] |