Normally not. The big horned lizard eats insects not other lizard. You should be fine.
Thanks so much. What a relieve. Do you know what type of ants they eat besides harvester ants?
The big one is 4in long and the small one is almost 3in long. I Don't think they are the same species. Can I put them together? Sorry I couldn't add a picture.