[BPEL2oWFN-cvs] bpel2owfn/src petrinet.cc

[Christian Gierds]

CVSROOT:        /sources/bpel2owfn
Module name:    bpel2owfn
Changes by:     Christian Gierds <gierds>       07/04/25 09:13:28

Modified files:
        src            : petrinet.cc 

Log message:
        * debug message "p1 has role ..." only appears in mergePlaces if 
findPlace(role_of_p1) returns a NULL pointer (this is no new behabviour!)
        * if both pointers in mergePlaces are NULL pointer, we don't return 
immediatly anymore, but let the assertion fail

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet.cc?cvsroot=bpel2owfn&r1=1.198&r2=1.199