From e7984749827b6cdc6bbcd554111783f9ebbbd5fa Mon Sep 17 00:00:00 2001
From: Sean McBride <spmcbride1201@gmail.com>
Date: Tue, 18 May 2021 14:30:38 +0000
Subject: [PATCH] chroe: remove extra header in AARCH64

---
 runtime/include/arch/aarch64/context.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/runtime/include/arch/aarch64/context.h b/runtime/include/arch/aarch64/context.h
index d683505..8c85b4a 100644
--- a/runtime/include/arch/aarch64/context.h
+++ b/runtime/include/arch/aarch64/context.h
@@ -2,7 +2,6 @@
 #if defined(AARCH64) || defined(aarch64)
 
 #include <assert.h>
-#include <stdint.h>
 
 #include "arch/common.h"
 #include "current_sandbox.h"