Code review comment for lp:~tapaal-contributor/tapaal/untimed-timed-gui

Kenneth Yrke Jørgensen (yrke) wrote :

insted of using the hasNestedPathQuantifiers function i guess it should implement a visitor. But I can see the files has already been modified in a similar way, so I guess it ok.

review: Approve

« Back to merge proposal