Index: vm/jitrino/src/main/PMF.cpp =================================================================== --- vm/jitrino/src/main/PMF.cpp (revision 600076) +++ vm/jitrino/src/main/PMF.cpp (working copy) @@ -2431,8 +2431,7 @@ session->step = 0; session->~SessionAction(); session = 0; - smm->~MemoryManager(); - + delete smm; // go to new session ++it; }