[BPEL2oWFN-cvs] bpel2owfn/src ast-details.cc ast-postprocess.k

[Niels Lohmann]

CVSROOT:        /sources/bpel2owfn
Module name:    bpel2owfn
Changes by:     Niels Lohmann <nielslohmann>    07/01/16 16:31:35

Modified files:
        src            : ast-details.cc ast-postprocess.k 

Log message:
        + fixed bug #6393 (http://savannah.gnu.org/task/?6393): postprocessing 
now does not crash parsing <switch> activities

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-details.cc?cvsroot=bpel2owfn&r1=1.70&r2=1.71
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-postprocess.k?cvsroot=bpel2owfn&r1=1.118&r2=1.119