CCS/MSP432P401R: Trouble getting Interrupts to work

Hello,

I've been having trouble getting an Interrupt to exit its ISR after entering it on my custom board. I'm using a pushbutton to trigger the interrupt and I thought it was simple enough, is there something I'm missing?

Thanks,

David

void main ()

{

            WDTCTL = WDTPW | WDTHOLD;

            MAP_GPIO_setAsInputPinWithPullDownResistor(GPIO_PORT_P3, GPIO_PIN6);

            MAP_GPIO_interruptEdgeSelect(GPIO_PORT_P3, GPIO_PIN6, GPIO_LOW_TO_HIGH_TRANSITION);

            while(1)

            {

                        lcd_main_menu();

            }

}

Port3IRQHandler(void)

{

            lcd_writeln("Entered ISR...");

            P3IFG = ~BIT6; //clear the GPIO button interrupt flag on 3.6

}