message: Minor bugfix after a change in DeviceAssignment types
diff: @@ -114,7 +114,7 @@ int main(int argc, char** argv) {
  /*eventc=*/1, /*eventv=*/allocate_buf_b_events);
  fprintf(stdout, "------ Going to Execute a TPU program ------\n");
  - DeviceAssignment device_assignment = {1, 1};
  + DeviceAssignment device_assignment = {NULL, 0};
  TpuBufferHandle* input_buffer_handle[] = {buf_a_handle, buf_b_handle};
  TpuBufferHandle* output_buffer_handle[] = {buf_sum_handle};
  TpuEvent* transfer_events[] = {transfer_ev1, transfer_ev2};
  