Before revision:  In particular, we show that the higher trading frequency increases market efficiency  if the agents choose to provide liquidity in equilibrium.
After revision:  In particular, we show that the higher trading frequency increases market efficiency , if the agents choose to provide liquidity in equilibrium.