diff --git a/adeterminize.idpda/src/IDPDADeterminizer.cpp b/adeterminize.idpda/src/IDPDADeterminizer.cpp index 7f25b7d904d1111a0639063ad4c42372178c684b..0db01c5f4615895623373813392b216354a18ac0 100644 --- a/adeterminize.idpda/src/IDPDADeterminizer.cpp +++ b/adeterminize.idpda/src/IDPDADeterminizer.cpp @@ -45,7 +45,7 @@ PDA* IDPDADeterminizer::determinize() { break; } - DeterminizationUtils::StateData* unmarkedStateData; + DeterminizationUtils::StateData* unmarkedStateData = NULL; for (map<string, DeterminizationUtils::StateData>::iterator stateIter = states.begin(); stateIter != states.end(); stateIter++) {