← Back to branch summary

~yrke/tapaal/removeNetType

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/verification/batchProcessing/BatchProcessingWorker.java

Merged lp:~yrke/tapaal/testbranch-syntaxOnlyChanges

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/verification/batchProcessing/BatchProcessingWorker.java
475
475
                        public void displayWrappedErrorMessage(String message, String title) {}
476
476
                        
477
477
                }, false);
478
 
                Tuple<TimedArcPetriNet, NameMapping> composedModel = composer.transformModel(model.network());
479
 
                return composedModel;
 
478
        return composer.transformModel(model.network());
480
479
        }
481
480
 
482
481
        private VerificationResult<TimedArcPetriNetTrace> verifyQuery(File file, Tuple<TimedArcPetriNet, NameMapping> composedModel, pipe.dataLayer.TAPNQuery query) throws Exception {