From b4d43f8ff28b1e011ffb578cd498e04099b1971c Mon Sep 17 00:00:00 2001
From: SebastianEbert <sebastian.ebert@tu-dresden.de>
Date: Fri, 9 Jun 2023 17:09:34 +0200
Subject: [PATCH] fixed channel getter param
---
src/main/jastadd/base/distribution/DistributedPN.jadd | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/jastadd/base/distribution/DistributedPN.jadd b/src/main/jastadd/base/distribution/DistributedPN.jadd
index 4d4a862..51e2dbf 100644
--- a/src/main/jastadd/base/distribution/DistributedPN.jadd
+++ b/src/main/jastadd/base/distribution/DistributedPN.jadd
@@ -51,7 +51,7 @@ aspect PnDistribution {
return ToolSpecificsParser.getChannelElemensByKey(this.getToolspecificList(), placeKey);
}
- syn lazy Integer PetriNet.getChannelElementLimitById(String id){
+ syn lazy Integer PetriNet.getChannelElementLimitById(String placeKey){
return ToolSpecificsParser.getChannelElementLimitById(this.getToolspecificList(), placeKey);
}
--
GitLab