From 441cd2bf1ca83bcbd2606ba4fb8c70b387111bdf Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Sun, 14 Feb 2016 19:58:30 -0600
Subject: [PATCH] Fix a typo introduced in last set of name changes

---
 arch/arm/src/stm32/stm32_dumpgpio.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/arch/arm/src/stm32/stm32_dumpgpio.c b/arch/arm/src/stm32/stm32_dumpgpio.c
index 7dfef5f85a5..77d49ffa084 100644
--- a/arch/arm/src/stm32/stm32_dumpgpio.c
+++ b/arch/arm/src/stm32/stm32_dumpgpio.c
@@ -42,7 +42,7 @@
 #include <sys/types.h>
 #include <debug.h>
 
-#include <nuttx.h>
+#include <nuttx/irq.h>
 
 #include "up_arch.h"
 #include "chip.h"