#include "util.h"
#include "main.h"
#include "stm32f3xx_hal_gpio.h"

void set_error_led() {
  HAL_GPIO_WritePin(STATUS2_GPIO_Port, STATUS2_Pin, GPIO_PIN_SET);
}