← Back to branch summary

~tapaal-contributor/tapaal/fix-toggle-urgent-transition-1950689

« back to all changes in this revision

Viewing changes to src/pipe/gui/widgets/QueryDialog.java

merged in lp:~tapaal-contributor/tapaal/merge-components-changed-lens-1947689 fixing problem with lens when merging components

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/widgets/QueryDialog.java
3764
3764
 
3765
3765
                                        network.add(transformedModel.value1());
3766
3766
 
3767
 
                                        NetWriter tapnWriter = new TimedArcPetriNetNetworkWriter(network, templates, new ArrayList<pipe.dataLayer.TAPNQuery>(0), new ArrayList<Constant>(0));
 
3767
                                        NetWriter tapnWriter = new TimedArcPetriNetNetworkWriter(network, templates, new ArrayList<pipe.dataLayer.TAPNQuery>(0), new ArrayList<Constant>(0), lens);
3768
3768
 
3769
3769
                                        try {
3770
3770
                                                ByteArrayOutputStream outputStream = tapnWriter.savePNML();