projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f6c3c97) | patch
model: include <cstddef>
authorBrian Norris <banorris@uci.edu>
Fri, 20 Apr 2012 17:31:42 +0000 (10:31 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 20 Apr 2012 17:31:42 +0000 (10:31 -0700)
commitbf37fce04c3e1bec9d2173a6e2127c6fbb6fd794
treef135f89a5eee8351836317b06f3ef0f37f4327a6tree | snapshot
parentf6c3c97520fa724c97c6a04eb8da4bf8a4bb2477commit | diff
model: include <cstddef>

NULL is not a builtin keyword in recent C++ revisions. I have to include
<cstddef>.
model.h diff | blob | history
C++11 memory model checker