add exhaustionstep and resumesearch concepts
[scpubgit/DX.git] / lib / DX / Step / EnterRecheck.pm
index d2d44ba..ba9d125 100644 (file)
@@ -63,6 +63,7 @@ sub apply_to {
                    proposition => $prop,
                  ),
     is_solution_state => 0,
+    is_exhaustion_state => 0,
     on_solution_step => DX::Step::CompleteRecheck->new(
       resume_search_state => $old_ss->but(next_step => $next_step),
       was_recheck_for => $prop,