diff options
Diffstat (limited to 'src/options/arrays_options.toml')
| -rw-r--r-- | src/options/arrays_options.toml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/options/arrays_options.toml b/src/options/arrays_options.toml index 4cb6dda1d..173a421ec 100644 --- a/src/options/arrays_options.toml +++ b/src/options/arrays_options.toml @@ -45,7 +45,7 @@ name = "Arrays Theory" name = "arraysConfig" category = "regular" long = "arrays-config=N" - type = "int" + type = "int64_t" default = "0" help = "set different array option configurations - for developers only" @@ -61,7 +61,7 @@ name = "Arrays Theory" name = "arraysPropagate" category = "regular" long = "arrays-prop=N" - type = "int" + type = "int64_t" default = "2" help = "propagation effort for arrays: 0 is none, 1 is some, 2 is full" |