projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 67f8065) | patch
tree: include cstddef for NULL
authorBrian Norris <banorris@uci.edu>
Fri, 4 May 2012 07:15:31 +0000 (00:15 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 8 May 2012 17:38:51 +0000 (10:38 -0700)
commitd6734347fbbcad0442d966e778447024beb689f1
tree015e39ff84f83c8bb1fb8136d0581cdd0605467dtree | snapshot
parent67f8065b5df1b68b7b46af2c37cc0ba601fe5345commit | diff
tree: include cstddef for NULL

Needed for newer, stricter compilers...
tree.h diff | blob | history
C++11 memory model checker