diff --git a/src/plasp/pddl/Domain.cpp b/src/plasp/pddl/Domain.cpp index 77dfd5a..9bd80ff 100644 --- a/src/plasp/pddl/Domain.cpp +++ b/src/plasp/pddl/Domain.cpp @@ -336,6 +336,7 @@ void Domain::checkConsistency() // Verify that all variables have types // Verify that constants are unique // Verify that all primitive types are unique + // Check for case-sensitivity issues } ////////////////////////////////////////////////////////////////////////////////////////////////////