Viewing all changes in revision 41.
- Committer: Jiri Srba
- Date: 2014-02-16 22:19:58 UTC
- Revision ID: srba@cs.aau.dk-20140216221958-74p5vhbvgswto25e
Fixed bug #1280894 (for weighted arcs multiple tokens are now printed in the error trace)
- files modified:
- VerifyPN.cpp
expand all
collapse all
added
removed
