Removed two erronous keywords.

Former-commit-id: ecc36e0b07
11 years ago · 7f7ddc06e1
2 changed files with 2 additions and 2 deletions
--- 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) {
--- 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.