From ed7cfbd7af53718a296345d081ccdcadda2f741e Mon Sep 17 00:00:00 2001
From: Shaun Smiley <senorsmile@gmail.com>
Date: Mon, 21 Jan 2019 17:43:18 -0800
Subject: [PATCH] add stdint.h
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

stdint.h is needed, otherwise you receive the following error:
`error: unknown type name ‘uint32_t’`
---
 _parts/part3.md | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/_parts/part3.md b/_parts/part3.md
index 86033ae..05d9fb2 100644
--- a/_parts/part3.md
+++ b/_parts/part3.md
@@ -247,6 +247,14 @@ Now would be a great time to write some tests, for a couple reasons:
 
 We'll address those issues in the next part. For now, here's the complete diff from this part:
 ```diff
+#include <stdbool.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <stdint.h>
++#include <stdint.h>
+
+ struct InputBuffer_t {
+
  typedef struct InputBuffer_t InputBuffer;
  
 +enum ExecuteResult_t { EXECUTE_SUCCESS, EXECUTE_TABLE_FULL };
@@ -426,4 +434,4 @@ We'll address those issues in the next part. For now, here's the complete diff f
 +    }
    }
  }
-```
\ No newline at end of file
+```