Fix bug with larger ORAMs in binary circuits.

Compiler/GC/types.py

@@ -1132,7 +1132,7 @@ class DynamicArray(Array):
         else:
             cbits.conv(value).store_in_dynamic_mem(address)
 
-sbits.dynamic_array = DynamicArray
+sbits.dynamic_array = Array
 cbits.dynamic_array = Array
 
 def _complement_two_extend(bits, k):

Programs/Source/gc_oram.mpc

@@ -5,6 +5,8 @@ prog.options.binary = -1
 from Compiler.GC.types import *
 from Compiler.GC.instructions import *
 
+sbits.dynamic_array = DynamicArray
+
 bits.unit = 64
 
 from Compiler.circuit_oram import *