From: Brian Norris <banorris@uci.edu>
Date: Fri, 20 Apr 2012 17:31:42 +0000 (-0700)
Subject: model: include <cstddef>
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=bf37fce04c3e1bec9d2173a6e2127c6fbb6fd794;p=c11tester.git

model: include <cstddef>

NULL is not a builtin keyword in recent C++ revisions. I have to include
<cstddef>.
---

diff --git a/model.h b/model.h
index 117c6458..54144f38 100644
--- a/model.h
+++ b/model.h
@@ -3,6 +3,7 @@
 
 #include <list>
 #include <map>
+#include <cstddef>
 
 #include "schedule.h"
 #include "libthreads.h"