#include "crypto_uint32.h"

void uint32_sort2(crypto_uint32 *x)
{
  crypto_uint32_minmax(x,x+1);
}