-
Alfons Laarman authored
DVE compiler: fix for property transitions rewriting the from state The other crucial patches of divine 2.5 were already included
6e4fb84c
DVE compiler: fix for property transitions rewriting the from state The other crucial patches of divine 2.5 were already included