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.