diff --git a/src/plasp/sas/Description.cpp b/src/plasp/sas/Description.cpp index 385a63c..04a4457 100644 --- a/src/plasp/sas/Description.cpp +++ b/src/plasp/sas/Description.cpp @@ -165,6 +165,11 @@ void Description::parseContent(utils::Parser &parser) parseGoalSection(parser); parseOperatorSection(parser); parseAxiomSection(parser); + + parser.skipWhiteSpace(); + + if (!parser.atEndOfStream()) + throw utils::ParserException(parser, "Expected end of SAS description"); } ////////////////////////////////////////////////////////////////////////////////////////////////////