X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=lib%2FDX%2FSearchProcess.pm;h=cb50a2f78d4bfe59565e516dff33ebd463fb827d;hb=282b1d7631514e792312e5ab8cadfb533f385b53;hp=437f71ddbff5f145be82d8720ff4ce0a65e60794;hpb=1dcbfaf82b6190e0e150acfff3da59644cf58507;p=scpubgit%2FDX.git

diff --git a/lib/DX/SearchProcess.pm b/lib/DX/SearchProcess.pm
index 437f71d..cb50a2f 100644
--- a/lib/DX/SearchProcess.pm
+++ b/lib/DX/SearchProcess.pm
@@ -27,7 +27,7 @@ sub with_one_step {
 sub find_solution {
   my ($self) = @_;
   my $state = $self->current_search_state;
-  while ($state and $state->next_proposition) {
+  while ($state and (not $state->is_solution_state)) {
     $state = $state->with_one_step;
   }
   return undef unless $state;