From 9da54842b7840f1704a7bf6688fc1d15a36eb132 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 10 Sep 2014 11:52:22 +0200
Subject: [PATCH] remove stray symbol

Former-commit-id: a6c18ae7f931d95e9fdd90ce129a01e43662f733
---
 src/storage/SparseMatrix.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storage/SparseMatrix.cpp b/src/storage/SparseMatrix.cpp
index e913fd00f..c4e11aeb1 100644
--- a/src/storage/SparseMatrix.cpp
+++ b/src/storage/SparseMatrix.cpp
@@ -1,4 +1,4 @@
-T#include <boost/functional/hash.hpp>
+#include <boost/functional/hash.hpp>
 
 // To detect whether the usage of TBB is possible, this include is neccessary
 #include "storm-config.h"