move backtrack step creation into rspace

[scpubgit/DX.git] / lib / DX / Step / ConsiderProposition.pm

diff --git a/lib/DX/Step/ConsiderProposition.pm b/lib/DX/Step/ConsiderProposition.pm
index 0b60a82..485d14b 100644 (file)
--- a/lib/DX/Step/ConsiderProposition.pm
+++ b/lib/DX/Step/ConsiderProposition.pm
@@ -15,10 +15,7 @@ sub apply_to {
       @{$self->proposition->for_deparse->[1]},
     ],
   ];
-  if (my $step = $self->proposition->resolve_for($hyp->scope)) {
-    return $ss->but(next_step => $step);
-  }
-  return $ss->but(next_step => DX::Step::Backtrack->new);
+  return $ss->but(next_step => $self->proposition->resolve_for($hyp->scope));
 }
 
 1;