From 78c19399bdceaabcdd4bb4a0e0d03a8e87b0a5c0 Mon Sep 17 00:00:00 2001
From: Alasdair <alasdair.armstrong@cl.cam.ac.uk>
Date: Sat, 11 Nov 2023 03:58:17 +0000
Subject: [PATCH] Update CHANGELOG

Add extra include to rts.c
---
 CHANGELOG.md | 9 +++++++++
 lib/rts.c    | 1 +
 2 files changed, 10 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 346faa9fe..a777b17b1 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,6 +1,15 @@
 Changelog
 =========
 
+Sail 0.17.1
+-----------
+
+Updated 0.17 release with bugfixes for:
+
+* Issue 362 https://github.com/rems-project/sail/issues/362
+
+Additionally includes patches for better ASL to Sail compatibility
+
 Sail 0.17
 ---------
 
diff --git a/lib/rts.c b/lib/rts.c
index b57d00399..b07457628 100644
--- a/lib/rts.c
+++ b/lib/rts.c
@@ -68,6 +68,7 @@
 #include <string.h>
 #include <getopt.h>
 #include <inttypes.h>
+#include <sys/types.h>
 
 #include "sail.h"
 #include "rts.h"