X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=lib%2FDX%2FHypothesis.pm;fp=lib%2FDX%2FHypothesis.pm;h=1bad497e6c653196ebf8ffdac3714d89668d56d8;hb=bcee3a691353e457e0b72580656c2448960bb1d7;hp=314cc74d55fa5d23a2a4c638cb6a0c5e2e227559;hpb=f458fa2c2ee9249f800318c53b117e77705ecd07;p=scpubgit%2FDX.git

diff --git a/lib/DX/Hypothesis.pm b/lib/DX/Hypothesis.pm
index 314cc74..1bad497 100644
--- a/lib/DX/Hypothesis.pm
+++ b/lib/DX/Hypothesis.pm
@@ -63,6 +63,8 @@ sub but_recheck_for {
     action_policy => $ap,
   );
 
+  trace 'step.recheck.hyp' => $hyp;
+
   my $ss = DX::SearchState->new_for($hyp);
 
   return undef unless my $sol_ss = $ss->find_solution;
@@ -75,6 +77,8 @@ sub but_recheck_for {
     $_, $sol_rps->dependencies_for($_)
   ) for @recheck;
 
+  trace 'step.recheck.done' => 'yay';
+
   return $self->but(resolved_propositions => $rps);
 }