From ee597c805e810e11dcf782b9d8dae5f45ce45c3e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sat, 4 Jun 2016 17:52:37 +0200 Subject: [PATCH] Added to-do. --- src/plasp/pddl/Domain.cpp | 1 + 1 file changed, 1 insertion(+) 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 } ////////////////////////////////////////////////////////////////////////////////////////////////////