diff options
Diffstat (limited to 'ports/sysdeps/arm/jmpbuf-unwind.h')
| -rw-r--r-- | ports/sysdeps/arm/jmpbuf-unwind.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ports/sysdeps/arm/jmpbuf-unwind.h b/ports/sysdeps/arm/jmpbuf-unwind.h index 7f7770aea0..0863540ce0 100644 --- a/ports/sysdeps/arm/jmpbuf-unwind.h +++ b/ports/sysdeps/arm/jmpbuf-unwind.h @@ -16,7 +16,6 @@ <http://www.gnu.org/licenses/>. */ #include <setjmp.h> -#include <jmpbuf-offsets.h> #include <stdint.h> #include <unwind.h> |