diff --git a/arun2/src/arun.cpp b/arun2/src/arun.cpp
index 46a1ded8cc820c45db7756378613eb0aeb1d2d5b..4fc1b6cc6f6bedef9492b2be73bada6b5b8bd095 100644
--- a/arun2/src/arun.cpp
+++ b/arun2/src/arun.cpp
@@ -89,15 +89,15 @@ int main(int argc, char* argv[]) {
 
 			alib::XmlDataFactory::toStdout( res );
 		} else if( type.getValue() == "result" && failState.isSet ( ) ) {
-			label::Label failStateLabel = alib::XmlDataFactory::fromTokens<label::Label>(sax::FromXMLParserHelper::parseInput(failState));
-			label::Label res = automaton::run::Result::result(automatonData, inputData, failStateLabel);
+			DefaultStateType failStateLabel = alib::XmlDataFactory::fromTokens<DefaultStateType>(sax::FromXMLParserHelper::parseInput(failState));
+			DefaultStateType res = automaton::run::Result::result(automatonData, inputData, failStateLabel);
 
 			measurements::end();
 			measurements::start("Output write", measurements::Type::AUXILIARY);
 
 			alib::XmlDataFactory::toStdout( res );
 		} else if( type.getValue() == "result" ) {
-			label::Label res = automaton::run::Result::result(automatonData, inputData);
+			DefaultStateType res = automaton::run::Result::result(automatonData, inputData);
 
 			measurements::end();
 			measurements::start("Output write", measurements::Type::AUXILIARY);