From dddc8bc9e1184da0d0511a73c97493e89a61716b Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Mon, 20 Jul 2020 09:20:08 +0200
Subject: Fixes wrong type reported for collection content.

---
 src/core/src/tonkadur/fate/v1/lang/type/CollectionType.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 ********************************************************/
-- 
cgit v1.2.3-70-g09d2