Changing Starters before tip-off

[BDevil15]

Obligatory: Coach here.

I don't have my rulebook with me so figured I'd just ask. Is there a procedure for changing your starter just before tip off? I had a kid this week who said he wasn't feeling great before we changed, then as he warmed up he said he was fine so I listed him as a starter. Just before tip he told me he couldn't go. So I just put someone in his place the officials were notified and we took the T and moved on. Not a huge deal. But when I asked the officials the following two games both said they would have just told the other coach and moved on it wasn't like we were deceiving anyone.

Just curious what you all commonly do as I'm sure kids get hurt during warm ups occasionally and this becomes necessary.

Thanks for all you do!