using Tivaware;
void main(void)
{
// think I am setting the main oscillator (external 16mhz crystal)
SysCtlClockSet(SYSCTL_SYSDIV_1 | SYSCTL_OSC_MAIN | SYSCTL_XTAL_16MHZ);
//
SysCtlPeripheralDisable(SYSCTL_PERIPH_ADC0);
//
SysCtlPeripheralReset(SYSCTL_PERIPH_ADC0);
//
SysCtlPeripheralEnable(SYSCTL_PERIPH_ADC0); // problem is here