Skip to content

Commit

Permalink
Always use the simple obligation forest
Browse files Browse the repository at this point in the history
  • Loading branch information
Markus Westerlind committed Oct 26, 2020
1 parent 22c5b94 commit d3d3fc4
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -594,7 +594,7 @@ impl<O: ForestObligation> ObligationForest<O> {
{
if self.watcher_offset.is_none() {
assert!(!self.done);
if self.nodes.len() > 100 {
if false && self.nodes.len() > 100 {
self.watcher_offset = Some(processor.register_variable_watcher());
}
if let Some(outcome) = self.process_obligations_simple(processor, do_completed) {
Expand Down

0 comments on commit d3d3fc4

Please sign in to comment.