diff options
Diffstat (limited to 'src/options/decision_options.toml')
| -rw-r--r-- | src/options/decision_options.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/decision_options.toml b/src/options/decision_options.toml index 840eaa08f..8cc2bf2fe 100644 --- a/src/options/decision_options.toml +++ b/src/options/decision_options.toml @@ -92,7 +92,7 @@ name = "Decision Heuristics" category = "expert" long = "jh-rlv-order" type = "bool" - default = "true" + default = "false" help = "maintain activity-based ordering for decision justification heuristic" [[option]] |