Returning value from void functin in record_btrace_resume() from gdb/record-btrace.c

In record_btrace_resume() from gdb/record-btrace.c:
static void
record_btrace_resume (struct target_ops *ops, ptid_t ptid, int step,
                      enum gdb_signal signal)
{
  struct thread_info *tp, *other;
  enum btrace_thread_flag flag;

  ...

  /* As long as we're not replaying, just forward the request.  */
  if (!record_btrace_is_replaying (ops) && execution_direction != EXEC_REVERSE)
    {
      ops = ops->beneath;
      return ops->to_resume (ops, ptid, step, signal);
    }

I presume the return should be split into?
      ops->to_resume (ops, ptid, step, signal);
      return;

-- 
albert chin ([email protected])