Trivial solution for trivial goals.#9

luke-clifton wants to merge 1 commit intocircuithub:mastercircuithub/fast-downward:masterfrom

luke-clifton:trivial-solveluke-clifton/fast-downward:trivial-solveCopy head branch name to clipboard