Actually same thing happened to girlfriend of mine maybe 6 years ago. Entering Denmark
She was none EU citizen and I noticed the immigration only looked at her passport but did not stamp it
I'm EU so no problem
Then we were leaving from Finland to Thailand and on the way out the officer was confused. I explained to him and showed him the bording card he just make some notice on the passport and we were off