 // IR Detection function
 int irDetect(int irLedPin, int irReceiverPin, long frequency)
 {
-  tone(irLedPin, frequency, 10);              // IRLED 38 kHz for at least 1 ms
+  tone(irLedPin, frequency, 10);             // IRLED 38 kHz for at least 1 ms
   delay(1);                                  // Wait 1 ms
   int ir = digitalRead(irReceiverPin);       // IR receiver -> ir variable
   delay(1);                                  // Down time before recheck

  pinMode(irRecPinLeft, INPUT);  pinMode(irLEDPinLeft, OUTPUT);   // IR LED & Receiver
  pinMode(irRecPinRight, INPUT);  pinMode(irLEDPinRight, OUTPUT);

}

void loop() {
  // put your main code here, to run repeatedly:

}


#include "declarations.h"
#include <Servo.h>     

Servo servoLeft;
Servo servoRight;

void setup() {
  Serial.begin(9600);                        // Set data rate to 9600 bps
