Closed jandegier closed 5 years ago
For the Fast Downward compilation to work, I needed to include in the following two files:
Thanks @jandegier. I could reproduce the error in newer Ubuntu versions. I have just applied the changes to the repository (8c0079c8f08e098a4cba02cd12cb2c5ea9642b82).
For the Fast Downward compilation to work, I needed to include in the following two files: