From 879ff178652f6b2095756d9a1fc79610733c2c49 Mon Sep 17 00:00:00 2001
From: Sebastiano Vigna <sebastiano.vigna@gmail.com>
Date: Wed, 20 May 2020 16:16:59 +0200
Subject: [PATCH] Fixed bug in constructor

---
 drv/ArrayMap.drv | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/drv/ArrayMap.drv b/drv/ArrayMap.drv
index 8b3e99a78..9bf5c3673 100644
--- a/drv/ArrayMap.drv
+++ b/drv/ArrayMap.drv
@@ -85,6 +85,7 @@ public class ARRAY_MAP KEY_VALUE_GENERIC extends ABSTRACT_MAP KEY_VALUE_GENERIC
 			value[i] = e.ENTRY_GET_VALUE();
 			i++;
 		}
+		size = i;
 	}
 
 	/** Creates a new empty array map copying the entries of a given map.
@@ -95,10 +96,11 @@ public class ARRAY_MAP KEY_VALUE_GENERIC extends ABSTRACT_MAP KEY_VALUE_GENERIC
 		this(m.size());
 		int i = 0;
 		for(Map.Entry<? extends KEY_GENERIC_CLASS, ? extends VALUE_GENERIC_CLASS> e : m.entrySet()) {
-			key[i] = KEY_OBJ2TYPE(e.getKey());
-			value[i] = VALUE_OBJ2TYPE(e.getValue());
+			key[i] = KEY_CLASS2TYPE(e.getKey());
+			value[i] = VALUE_CLASS2TYPE(e.getValue());
 			i++;
 		}
+		size = i;
 	}
 
 	/** Creates a new array map with given key and value backing arrays, using the given number of elements.