I don't know what tutorial you are using, but I downloaded the WiFly_Terminal.pde code from the link you posted.
Those erros appear to be caused by a conflict between pins_arduino.h and WiFly_Terminal.
WiFly_Terminal.pde
// Arduino SPI pins
#define CS 10
#define MOSI 11
#define MISO 12
#define SCK 13
Those defines do bad things to these in pins_arduino.h
const static uint8_t MOSI = 11;
const static uint8_t MISO = 12;
const static uint8_t SCK = 13;