1 files changed, 4 insertions, 1 deletions
diff --git a/cpp/013run b/cpp/013run
index ef608cb6..9790bfdd 100644
--- a/cpp/013run
+++ b/cpp/013run
@@ -147,7 +147,10 @@ void write_memory(reagent x, vector<int> data) {
 
 :(code)
 size_t size_of(const reagent& r) {
-  type_info t = Type[r.types[0]];
+  return size_of(r.types);
+}
+size_t size_of(const vector<type_number>& types) {
+  type_info t = Type[types[0]];
   // End size_of Cases.
   return t.size;
 }