Skip to content

Commit

Permalink
Update CHANGELOG
Browse files Browse the repository at this point in the history
Add extra include to rts.c
  • Loading branch information
Alasdair committed Nov 11, 2023
1 parent a3cfbc4 commit ec9e73f
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 0 deletions.
9 changes: 9 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -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
---------

Expand Down
1 change: 1 addition & 0 deletions lib/rts.c
Original file line number Diff line number Diff line change
Expand Up @@ -68,6 +68,7 @@
#include <string.h>
#include <getopt.h>
#include <inttypes.h>
#include <sys/types.h>

#include "sail.h"
#include "rts.h"
Expand Down

0 comments on commit ec9e73f

Please sign in to comment.