It helps if you copy the elements into the new array.

sorear · Oct 24, 2010 · 8fe1193 · 8fe1193
1 parent 4e17da4
commit 8fe1193
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib/Kernel.cs b/lib/Kernel.cs
@@ -1410,6 +1410,7 @@ public sealed class VarDeque {
         private void checkgrow() {
             if (count == data.Length) {
                 Variable[] ndata = new Variable[data.Length * 2];
+                CopyToArray(ndata);
                 data = ndata;
                 head = 0;
             }