From 854ade5fa9d0a9a2bb0037cdef0d1197158ddcc1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Fri, 10 Jun 2016 17:09:06 +0200
Subject: [PATCH] Ensuring input to contain only one SAS description.

---
 src/plasp/sas/Description.cpp | 5 +++++
 1 file changed, 5 insertions(+)

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");
 }
 
 ////////////////////////////////////////////////////////////////////////////////////////////////////