From bf37fce04c3e1bec9d2173a6e2127c6fbb6fd794 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Fri, 20 Apr 2012 10:31:42 -0700
Subject: [PATCH] model: include <cstddef>

NULL is not a builtin keyword in recent C++ revisions. I have to include
<cstddef>.
---
 model.h | 1 +
 1 file changed, 1 insertion(+)

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"
-- 
2.34.1