verifypn

Merge lp:~tapaal-contributor/verifypn/remove_debug_print-1906837 into lp:verifypn

  1. remove_debug_print-1906837
  2. Merge into new-trunk
Proposed by Thomas Pedersen
Status: Needs review
Proposed branch: lp:~tapaal-contributor/verifypn/remove_debug_print-1906837
Merge into: lp:verifypn
Diff against target: 12 lines (+1/-1)
1 file modified
src/PetriEngine/PQL/Expressions.cpp (+1/-1)
To merge this branch: bzr merge lp:~tapaal-contributor/verifypn/remove_debug_print-1906837
Reviewer Review Type Date Requested Status
Peter Gjøl Jensen Pending
Review via email: mp+394887@code.launchpad.net

Commit message

Removed debug print in tostring for query

To post a comment you must log in.

Unmerged revisions

228. By Thomas Pedersen <email address hidden>

Remove debug string from query identifier

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
1=== modified file 'src/PetriEngine/PQL/Expressions.cpp'
2--- src/PetriEngine/PQL/Expressions.cpp 2020-07-02 13:57:17 +0000
3+++ src/PetriEngine/PQL/Expressions.cpp 2020-12-04 14:33:58 +0000
4@@ -174,7 +174,7 @@
5 }
6
7 void UnfoldedIdentifierExpr::toString(std::ostream& out) const {
8- out << _name << "(P" << _offsetInMarking << ")";
9+ out << _name;
10 }
11
12 void NaryExpr::toString(std::ostream& ss) const {

Subscribers

People subscribed via source and target branches