diff --git a/utils/pas2js/dist/rtl.js b/utils/pas2js/dist/rtl.js
index 6da8fe496a..526e0e587d 100644
--- a/utils/pas2js/dist/rtl.js
+++ b/utils/pas2js/dist/rtl.js
@@ -1036,7 +1036,9 @@ var rtl = {
       if (a===null){
         a=rtl.arrayRef(src); // Note: concat(a) does not clone
       } else {
-        a=a.concat(src);
+        for (var i=0; i<src.length; i++){
+          a.push(src[i]);
+        }
       }
     };
     return a;