Cancelling FIR for my lost ID Card

r/

I lost my ID card a few days back (College id card) on my way back to my home. and the admin said to file FIR and then they can issue duplicate one and i did. Today when i was coming back the shopkeeper (where i must have dropped it) called me and gave it back.

Now the question is what to do about that FIR? Any suggestions

Location: New Delhi, India