diff --git a/adeterminize/src/VPADeterminizationUtils.cpp b/adeterminize/src/VPADeterminizationUtils.cpp index 474cea571e3ba813401a346b941c309925294db7..f74f88e8cdda74ffed818ad7c843213b35023e3b 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);