From 0f8c5985296f95c2aaae33ed43705120905e09b8 Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Mon, 24 Dec 2012 12:07:22 +0100
Subject: [PATCH] making inheritance of Parsers public (for AutoParser)

---
 src/parser/DeterministicSparseTransitionParser.h    | 5 +----
 src/parser/NonDeterministicSparseTransitionParser.h | 2 +-
 2 files changed, 2 insertions(+), 5 deletions(-)

diff --git a/src/parser/DeterministicSparseTransitionParser.h b/src/parser/DeterministicSparseTransitionParser.h
index 9dd3b18e7..b90924fbd 100644
--- a/src/parser/DeterministicSparseTransitionParser.h
+++ b/src/parser/DeterministicSparseTransitionParser.h
@@ -14,11 +14,8 @@ namespace parser {
 /*!
  *	@brief	Load a deterministic transition system from file and create a
  *	sparse adjacency matrix whose entries represent the weights of the edges
- *
- *	Note that this class creates a new StaticSparseMatrix object that can be
- *	accessed via getMatrix(). However, it does not delete this object!
  */
-class DeterministicSparseTransitionParser : Parser {
+class DeterministicSparseTransitionParser : public Parser {
 	public:
 		DeterministicSparseTransitionParser(std::string const &filename);
 		
diff --git a/src/parser/NonDeterministicSparseTransitionParser.h b/src/parser/NonDeterministicSparseTransitionParser.h
index e3b7eb823..e1a29ef20 100644
--- a/src/parser/NonDeterministicSparseTransitionParser.h
+++ b/src/parser/NonDeterministicSparseTransitionParser.h
@@ -16,7 +16,7 @@ namespace parser {
  *	@brief	Load a nondeterministic transition system from file and create a
  *	sparse adjacency matrix whose entries represent the weights of the edges
  */
-class NonDeterministicSparseTransitionParser : Parser {
+class NonDeterministicSparseTransitionParser : public Parser {
 	public:
 		NonDeterministicSparseTransitionParser(std::string const &filename);