Closed guicho271828 closed 3 years ago
@guicho271828 Thanks for the fix!
@haz Feel free to merge such small PR's, but I'll also try to merge them quickly.
btw, FF (original from hoffman) parses the old output pddl and ignores the second and later goals, resulting in emitting plans of around 4 regardless of the input.
Lgtm.
@jendrikseipp Any reason I shouldn't merge small PR's like this?
@guicho271828 Thanks!