From 0de207df2d89d41c0edb0beacd77b24a540fa5c6 Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Tue, 20 Dec 2016 15:56:15 +0100
Subject: [PATCH] use default data types in arun2
---
arun2/src/arun.cpp | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/arun2/src/arun.cpp b/arun2/src/arun.cpp
index 46a1ded8cc..4fc1b6cc6f 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);
--
GitLab