Teensy 2.0 pin 10 (this is what they are referring to in the IRremote.h part) is Port C7 which is pin 13 on the Leoardo. Try that pin with your IR LED.
Teensy 2.0 pin 10 (this is what they are referring to in the IRremote.h part) is Port C7 which is pin 13 on the Leoardo. Try that pin with your IR LED.