diff --git a/alib2algo/src/determinize/vpa/VPADeterminizer.cpp b/alib2algo/src/determinize/vpa/VPADeterminizer.cpp index 1fbec517ac161d789597f21633472bc31fc4207c..56478c72e5764d11a33a9238ca2ef3d90c6e0bd5 100644 --- a/alib2algo/src/determinize/vpa/VPADeterminizer.cpp +++ b/alib2algo/src/determinize/vpa/VPADeterminizer.cpp @@ -212,7 +212,7 @@ const automaton::State* existsDirtyState(const automaton::VisiblyPushdownNPDA& d } return &state; -continue2: while(false); +continue2: while(false); //TODO remove this } return NULL; }