Comment 3 for bug 2038418

Revision history for this message
Jiri Srba (srba) wrote :

The problem seems that by removing the tokens from the marking, we modify the initial marking.