| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2020-07-20 09:20:08 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2020-07-20 09:20:08 +0200 |
| commit | dddc8bc9e1184da0d0511a73c97493e89a61716b (patch) | |
| tree | 19589e099f7cd459fe105d1d041c4c829d05e66f | |
| parent | 39fc3eb50f3984bb128439a2cf190e51267529d9 (diff) | |
Fixes wrong type reported for collection content.
| -rw-r--r-- | src/core/src/tonkadur/fate/v1/lang/type/CollectionType.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core/src/tonkadur/fate/v1/lang/type/CollectionType.java b/src/core/src/tonkadur/fate/v1/lang/type/CollectionType.java index 04c02f2..f25f3f7 100644 --- a/src/core/src/tonkadur/fate/v1/lang/type/CollectionType.java +++ b/src/core/src/tonkadur/fate/v1/lang/type/CollectionType.java @@ -56,7 +56,7 @@ public class CollectionType extends Type /**** Accessors ************************************************************/ public Type get_content_type () { - return true_type; + return content_type; } /**** Compatibility ********************************************************/ |


