diff --git a/include/plasp/LanguageDetection.h b/include/plasp/LanguageDetection.h index f257368..c3b78b0 100644 --- a/include/plasp/LanguageDetection.h +++ b/include/plasp/LanguageDetection.h @@ -32,8 +32,10 @@ Language::Type detectLanguage(tokenize::Tokenizer("(") && tokenizer.testAndSkip("define")) + // PDDL contains sections starting with “(define” + // Some legacy domains contain “in-package” sections, however + if (tokenizer.testAndSkip("(") + && (tokenizer.testAndSkip("define") || tokenizer.testAndSkip("in-package"))) { tokenizer.seek(std::ios::beg); return Language::Type::PDDL;