summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2020-07-20 09:20:08 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2020-07-20 09:20:08 +0200
commitdddc8bc9e1184da0d0511a73c97493e89a61716b (patch)
tree19589e099f7cd459fe105d1d041c4c829d05e66f
parent39fc3eb50f3984bb128439a2cf190e51267529d9 (diff)
Fixes wrong type reported for collection content.
-rw-r--r--src/core/src/tonkadur/fate/v1/lang/type/CollectionType.java2
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 ********************************************************/