diff options
author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2018-08-21 16:14:55 -0500 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-21 16:14:55 -0500 |
commit | a1b769fcb9ecdab7c09d7d7f05e4f87f54133076 (patch) | |
tree | 9ac0cc656beae2b125767f9fc1c5ef3d64127631 /src/options | |
parent | d98ea67b5d85c0f70f6dfffa0b61353160e2736b (diff) |
Makes the new row propagation system default (#2335)
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/arith_options.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/arith_options.toml b/src/options/arith_options.toml index 7bfe8d592..80403ee0d 100644 --- a/src/options/arith_options.toml +++ b/src/options/arith_options.toml @@ -225,7 +225,7 @@ header = "options/arith_options.h" category = "regular" long = "new-prop" type = "bool" - default = "false" + default = "true" help = "use the new row propagation system" [[option]] |