Typ eingeschraenkt fuer P_EXITS

Da kommen nur normale Ausgange, d.h. Raumpfade, d.h. strings

Change-Id: If82b5121acc4d02f903b740f9fa5eff734bf815e
1 file changed