810

1 files changed, 3 insertions, 3 deletions

diff --git a/cpp/012run b/cpp/012run
index 63ffdff1..946b01d1 100644
--- a/cpp/012run
+++ b/cpp/012run
@@ -59,7 +59,7 @@ vector<int> read_memory(reagent x) {
 
 void write_memory(reagent x, vector<int> data) {
   int base = to_int(x.name);
-  size_t size = size_of(x.types[0]);
+  size_t size = size_of(x);
   if (size != data.size()) raise << "size mismatch in storing to " << x.to_string();
   for (size_t offset = 0; offset < size; ++offset) {
     trace("mem") << "storing in location " << base+offset;
@@ -75,8 +75,8 @@ int to_int(string n) {
   return result;
 }
 
-int size_of(type_number x) {
-  type_info t = Type[x];
+int size_of(reagent r) {
+  type_info t = Type[r.types[0]];
   if (!t.is_record && !t.is_array) return t.size;
   return t.size;  // TODO
 }