diff --git a/arch/cpu/cc26xx-cc13xx/dev/gpio-hal-arch.h b/arch/cpu/cc26xx-cc13xx/dev/gpio-hal-arch.h
index 8983051ce..f08d595e9 100644
--- a/arch/cpu/cc26xx-cc13xx/dev/gpio-hal-arch.h
+++ b/arch/cpu/cc26xx-cc13xx/dev/gpio-hal-arch.h
@@ -81,7 +81,7 @@ interrupt_enable(gpio_hal_pin_t pin)
 #ifndef ThisLibraryIsFor_CC26x0R2_HaltIfViolated
   ti_lib_rom_ioc_int_enable(pin);
 #else
-  ti_lib_ioc_int_enable(pin)
+  ti_lib_ioc_int_enable(pin);
 #endif
 }
 /*---------------------------------------------------------------------------*/