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=e8b66c0000ac8b14b7732aadf1f549793ac0190c;hb=1350f664522bba79100b5316f9850325369a5571;hp=59e0480a576dc7e42763d61a88d2113d6c06942f;hpb=11fecad8c232288af8042d45536aa435d1c73426;p=scpubgit%2FDX.git

diff --git a/lib/DX/Hypothesis.pm b/lib/DX/Hypothesis.pm
index 59e0480..e8b66c0 100644
--- a/lib/DX/Hypothesis.pm
+++ b/lib/DX/Hypothesis.pm
@@ -63,9 +63,15 @@ sub but_recheck_for {
     action_policy => $ap,
   );
 
+  my $pseq = DX::PropositionSequence->new(
+    members => \@recheck,
+    external_names => {},
+    internal_names => {},
+  );
+
   trace 'step.recheck.hyp' => $hyp;
 
-  my $ss = DX::SearchState->new_for($hyp);
+  my $ss = DX::SearchState->new_for($hyp, $pseq);
 
   my $sol_ss = $ss->find_solution;