From 7f7ddc06e18d9be3f0ce29101a7a6fd7b9d149d8 Mon Sep 17 00:00:00 2001
From: masawei <manuel.sascha.weiand@rwth-aachen.de>
Date: Fri, 29 Aug 2014 17:27:43 +0200
Subject: [PATCH] Removed two erronous keywords.

Former-commit-id: ecc36e0b07b7dfc7958cdedb636971619b9522f6
---
 test/functional/modelchecker/ActionTest.cpp | 2 +-
 test/functional/modelchecker/FilterTest.cpp | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/test/functional/modelchecker/ActionTest.cpp b/test/functional/modelchecker/ActionTest.cpp
index 83113a614..d96452187 100644
--- a/test/functional/modelchecker/ActionTest.cpp
+++ b/test/functional/modelchecker/ActionTest.cpp
@@ -21,7 +21,7 @@
 #include "src/solver/GmmxxLinearEquationSolver.h"
 #include "src/exceptions/InvalidArgumentException.h"
 
-typedef typename storm::properties::action::AbstractAction<double>::Result Result;
+typedef storm::properties::action::AbstractAction<double>::Result Result;
 
 TEST(ActionTest, BoundActionFunctionality) {
 
diff --git a/test/functional/modelchecker/FilterTest.cpp b/test/functional/modelchecker/FilterTest.cpp
index f85382bbb..5dccda193 100644
--- a/test/functional/modelchecker/FilterTest.cpp
+++ b/test/functional/modelchecker/FilterTest.cpp
@@ -23,7 +23,7 @@
 
 #include <memory>
 
-typedef typename storm::properties::action::AbstractAction<double>::Result Result;
+typedef storm::properties::action::AbstractAction<double>::Result Result;
 
 TEST(PrctlFilterTest, generalFunctionality) {
 	// Test filter queries of increasing complexity.