From 07fb0fb4c82c18d305c95a8a3fd3d9089e756f5e Mon Sep 17 00:00:00 2001
From: Artem Dinaburg <artem@trailofbits.com>
Date: Wed, 1 Nov 2017 22:59:17 -0400
Subject: [PATCH] build using clang 4.0

---
 src/include/deepstate/Stream.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/include/deepstate/Stream.hpp b/src/include/deepstate/Stream.hpp
index 176b8a5..02321eb 100644
--- a/src/include/deepstate/Stream.hpp
+++ b/src/include/deepstate/Stream.hpp
@@ -69,7 +69,7 @@ class Stream {
   DEEPSTATE_DEFINE_STREAMER(CStr, const char *, val)
   DEEPSTATE_DEFINE_STREAMER(CStr, char *, const_cast<const char *>(val))
 
-  DEEPSTATE_DEFINE_STREAMER(Pointer, nullptr_t, nullptr)
+  DEEPSTATE_DEFINE_STREAMER(Pointer, std::nullptr_t, nullptr)
 
   template <typename T>
   DEEPSTATE_DEFINE_STREAMER(Pointer, T *, val);