TAPAAL

  1. Bug #2038418
  2. Comment #4

Comment 4 for bug 2038418

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

It is actually me who introduced this problem by modifying TimedPlace.java and adding line 83
this.tokens().clear();

in attempt to fix this bug:

https://bugs.launchpad.net/tapaal/+bug/2037705

I think that line 83 should be deleted and a better fix should be done for the above bug.