rename InvokeNextPredicate to ConsiderPropositon

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

diff --git a/lib/DX/Step/Normal.pm b/lib/DX/Step/Normal.pm
index 68aae3a..cff9543 100644 (file)
--- a/lib/DX/Step/Normal.pm
+++ b/lib/DX/Step/Normal.pm
@@ -34,7 +34,7 @@ sub apply_to {
   trace 'step.apply.new_hyp '.$self => $new_hyp;
   my $ns = do {
     if (my $prop = $ss->next_proposition($new_hyp)) {
-      DX::Step::InvokeNextPredicate->new(
+      DX::Step::ConsiderProposition->new(
         proposition => $prop
       )
     } else {