add propositions method to searchstate

[scpubgit/DX.git] / lib / DX / Hypothesis.pm

diff --git a/lib/DX/Hypothesis.pm b/lib/DX/Hypothesis.pm
index 59e0480..e8b66c0 100644 (file)
--- 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;