My 18 month old ate a rock/pebble!?

So my first instinct is not to worry as I'm sure kids do this all the time. He's eaten sand before and he's just fine. But I thought I would ask if anyone sees any potential issues and should I take him to the Dr.? It was probably about 1/4 inch pebble/rock he picked up at the playground. Any thoughts? Thanks!