[BPEL2oWFN-cvs] bpel2owfn/src helpers.cc helpers.h options.h pe...

[Niels Lohmann]

CVSROOT:        /sources/bpel2owfn
Module name:    bpel2owfn
Changes by:     Niels Lohmann <nielslohmann>    07/02/23 13:30:05

Modified files:
        src            : helpers.cc helpers.h options.h 
                         petrinet-output.cc petrinet-reduction.cc 
                         petrinet.cc 

Log message:
        + overworked header inclusion

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/helpers.cc?cvsroot=bpel2owfn&r1=1.71&r2=1.72
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/helpers.h?cvsroot=bpel2owfn&r1=1.44&r2=1.45
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/options.h?cvsroot=bpel2owfn&r1=1.45&r2=1.46
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-output.cc?cvsroot=bpel2owfn&r1=1.78&r2=1.79
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-reduction.cc?cvsroot=bpel2owfn&r1=1.62&r2=1.63
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet.cc?cvsroot=bpel2owfn&r1=1.181&r2=1.182