Merge lp:~tapaal-dist-ctl/verifypn/warning_fix into lp:~verifypn-maintainers/verifypn/trunk

Proposed by Søren Moss Nielsen on 2016-08-30
Status: Merged
Approved by: Jiri Srba on 2016-08-30
Approved revision: 96
Merged at revision: 96
Proposed branch: lp:~tapaal-dist-ctl/verifypn/warning_fix
Merge into: lp:~verifypn-maintainers/verifypn/trunk
Diff against target: 11 lines (+1/-0)
1 file modified
CTLParser/CTLParser_v2.cpp (+1/-0)
To merge this branch: bzr merge lp:~tapaal-dist-ctl/verifypn/warning_fix
Reviewer Review Type Date Requested Status
Jiri Srba 2016-08-30 Approve on 2016-08-30
Review via email: mp+304343@code.launchpad.net

Description of the change

resolved the warning, only adding unreachable code.

To post a comment you must log in.
Jiri Srba (srba) :
review: Approve

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
1=== modified file 'CTLParser/CTLParser_v2.cpp'
2--- CTLParser/CTLParser_v2.cpp 2016-08-29 09:38:49 +0000
3+++ CTLParser/CTLParser_v2.cpp 2016-08-30 08:25:03 +0000
4@@ -493,6 +493,7 @@
5 return " ls ";
6 }
7 else assert(true && "Could not parse unsupported logical operator");
8+ return "";
9 }
10
11 CTLQuery * CTLParser_v2::CopyQuery(CTLQuery *source){

Subscribers

People subscribed via source and target branches