X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=lib%2FDX%2FStep%2FConsiderProposition.pm;h=485d14b5638da37a3b232f1da366527b0c72136b;hb=d69f4df43a8e53a1853113acb564b7fce6ac3957;hp=0b60a82cd0252a6536e40bc0125070596ec6ee5a;hpb=0c1b8f3b476762fd15436c9fd29febf980ae0b5f;p=scpubgit%2FDX.git

diff --git a/lib/DX/Step/ConsiderProposition.pm b/lib/DX/Step/ConsiderProposition.pm
index 0b60a82..485d14b 100644
--- 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;