Merged, thanks!

Note:

if {
    ...
} else {
    ...
}

> It's in my repository.

Argh, of course, I'm too stupid. Thanks! Will look into the merge before I go to
bed.

It's in my repository.
On Jan 3, 2011 8:46 PM, "Malte Helmert" <downward.issues@googlemail.com>
wrote:
>
> Malte Helmert <helmert@informatik.uni-freiburg.de> added the comment:
>
> Looks like a patch for this should be simple, right?
> Have you written one yet? It's not yet in the IPC repository as far as I
can see.
>
> _______________________________________________________
> Fast Downward issue tracker <downward.issues@gmail.com>
> <http://issues.fast-downward.org/issue178>
> _______________________________________________________

Looks like a patch for this should be simple, right?
Have you written one yet? It's not yet in the IPC repository as far as I can see.

Yes, it's the same problem. Oops.

Thanks for tracking this down! Is this the same problem as in issue176?

This is caused when the proxy's exploration returns a dead end.
In that case, the ff_preferred_operators are not cleared, and the preferred 
operators from the previous state are returned by get_preferred().