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
493
        return " ls ";
493
        return " ls ";
6
494
    }
494
    }
7
495
    else assert(true && "Could not parse unsupported logical operator");
495
    else assert(true && "Could not parse unsupported logical operator");
8
496
    return "";
9
496
}
497
}
10
497
498
11
498
CTLQuery * CTLParser_v2::CopyQuery(CTLQuery *source){
499
CTLQuery * CTLParser_v2::CopyQuery(CTLQuery *source){
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
Related bugs:	Link a bug report
Reviewer	Review Type	Date Requested	Status
Jiri Srba		2016-08-30	Approve on 2016-08-30
Review via email: mp+304343@code.launchpad.net
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	493	return " ls ";	493	return " ls ";
6	494	}	494	}
7	495	else assert(true && "Could not parse unsupported logical operator");	495	else assert(true && "Could not parse unsupported logical operator");
8			496	return "";
9	496	}	497	}
10	497		498
11	498	CTLQuery * CTLParser_v2::CopyQuery(CTLQuery *source){	499	CTLQuery * CTLParser_v2::CopyQuery(CTLQuery *source){