From b4c41b0a6a8d766bf2a014de402e4c44d98987ae Mon Sep 17 00:00:00 2001
From: Themis Demetriades <td1223@ic.ac.uk>
Date: Mon, 4 Nov 2024 12:57:29 +0000
Subject: [PATCH] Remove superfluous include in process.c

---
 src/userprog/process.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/userprog/process.c b/src/userprog/process.c
index 810b449..aaac9ee 100644
--- a/src/userprog/process.c
+++ b/src/userprog/process.c
@@ -2,7 +2,6 @@
 #include <debug.h>
 #include <inttypes.h>
 #include <round.h>
-#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>