From 6f5d6a4f60f318dbff542a8951fde9f8fc1b8638 Mon Sep 17 00:00:00 2001
From: Rich FitzJohn <r.fitzjohn@imperial.ac.uk>
Date: Fri, 12 Nov 2021 10:12:37 +0000
Subject: [PATCH] Tidy up headers

---
 inst/include/dust/r/random.hpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/inst/include/dust/r/random.hpp b/inst/include/dust/r/random.hpp
index e42923e60..c3c9a0ed0 100644
--- a/inst/include/dust/r/random.hpp
+++ b/inst/include/dust/r/random.hpp
@@ -4,6 +4,7 @@
 #include <cstring> // memcpy
 
 #include <cpp11/environment.hpp>
+#include <cpp11/external_pointer.hpp>
 #include <cpp11/list.hpp>
 #include <cpp11/raws.hpp>