projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 91154c0) | patch
model-assert: include <stdbool.h>
authorBrian Norris <banorris@uci.edu>
Fri, 8 Mar 2013 23:59:46 +0000 (15:59 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 8 Mar 2013 23:59:46 +0000 (15:59 -0800)
commite552799710cf415a268915a009513621ca806e2f
treebecccc8ced6dafe8a8e41ececec571be56d8ebdbtree | snapshot
parent91154c0e76e77ff53c968f3aa7ad7626fae19acbcommit | diff
model-assert: include <stdbool.h>

'bool' is not a built-in type in C. Include the (C99) <stdbool.h>
library.
include/model-assert.h diff | blob | history
C++11 memory model checker