patrick
/
plasp
Archived
1
0
Fork 0

Added missing forward declaration.

This commit is contained in:
Patrick Lühne 2017-06-23 02:31:07 +02:00
parent c0b71290a4
commit 9360ad3487
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 0 deletions

View File

@ -108,6 +108,7 @@ struct Description;
using DescriptionPointer = std::unique_ptr<Description>;
struct Domain;
using DomainPointer = std::unique_ptr<Domain>;
struct InitialState;
struct Problem;
using ProblemPointer = std::unique_ptr<Problem>;
enum class Requirement;