From 86965ff12a6eea0a7565c69a8321255daa265e11 Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Mon, 4 Feb 2013 16:31:10 +0100
Subject: [PATCH] removed obsolete typedef

---
 src/parser/NonDeterministicSparseTransitionParser.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/parser/NonDeterministicSparseTransitionParser.h b/src/parser/NonDeterministicSparseTransitionParser.h
index 60695b7e9..a0d9ea50a 100644
--- a/src/parser/NonDeterministicSparseTransitionParser.h
+++ b/src/parser/NonDeterministicSparseTransitionParser.h
@@ -13,8 +13,6 @@
 namespace storm {
 namespace parser {
 	
-typedef boost::bimap<uint_fast64_t, std::pair<uint_fast64_t,std::string>> RowStateMapping;
-
 /*!
  *	@brief	Load a nondeterministic transition system from file and create a
  *	sparse adjacency matrix whose entries represent the weights of the edges