Viewing all changes in revision 211.
- Committer: Peter G. Jensen
- Date: 2018-07-18 08:19:18 UTC
- Revision ID: peter.gjoel@gmail.com-20180718081918-vwm39vuqia3pv5e6
fixed double rule-removal leading to segfault
- files modified:
- PetriEngine/Reducer.cpp
expand all
collapse all
added
removed
