Skip to content
Snippets Groups Projects
Commit b4d43f8f authored by Sebastian Ebert's avatar Sebastian Ebert
Browse files

fixed channel getter param

parent 7ea47c77
No related branches found
No related tags found
No related merge requests found
...@@ -51,7 +51,7 @@ aspect PnDistribution { ...@@ -51,7 +51,7 @@ aspect PnDistribution {
return ToolSpecificsParser.getChannelElemensByKey(this.getToolspecificList(), placeKey); 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); return ToolSpecificsParser.getChannelElementLimitById(this.getToolspecificList(), placeKey);
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment