function genesis_do_nav() {

  // Do nothing if menu not supported.
  if ( ! genesis_nav_menu_supported( 'primary' ) || ! has_nav_menu( 'primary' ) ) {
    return;
  }

  $class = 'menu genesis-nav-menu menu-primary';
  if ( genesis_superfish_enabled() ) {
    $class .= ' js-superfish';
  }

  genesis_nav_menu(
    [
      'theme_location' => 'primary',
      'menu_class'     => $class,
    ]
  );

}