#include "crypto_uint64.h"

void uint64_sort2(crypto_uint64 *x)
{
  crypto_uint64_minmax(x,x+1);
}