From 3c6c6c863e80b75baf61bbf7969ec1f2f2c516fe Mon Sep 17 00:00:00 2001 From: Jan Vesely <janvesely@janvesely.net> Date: Tue, 25 Feb 2014 15:39:26 +0100 Subject: [PATCH] fix indentation --- adeterminize/src/VPADeterminizationUtils.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/adeterminize/src/VPADeterminizationUtils.cpp b/adeterminize/src/VPADeterminizationUtils.cpp index 474cea571e..f74f88e8cd 100644 --- a/adeterminize/src/VPADeterminizationUtils.cpp +++ b/adeterminize/src/VPADeterminizationUtils.cpp @@ -27,8 +27,8 @@ string VPADeterminizationUtils::buildStateName(const SComponent& s, const RCompo } -const State& VPADeterminizationUtils::getOrCreateState(const SComponent& s, const RComponent& r, map<string, - StateData>& states, PDA& deterministicVPA) { +const State& VPADeterminizationUtils::getOrCreateState(const SComponent& s, const RComponent& r, + map<string, StateData>& states, PDA& deterministicVPA) { string stateName = buildStateName(s, r); map<string, StateData>::iterator statesIter = states.find(stateName); -- GitLab