projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d425311) | patch
model: remove incorrect #undef
authorBrian Norris <banorris@uci.edu>
Mon, 21 May 2012 19:13:33 +0000 (12:13 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 21 May 2012 19:14:24 +0000 (12:14 -0700)
commit4fd5928d58f65244856c5737786d1ecb3f534469
treeb0d189a9ed6c34bbd28592e963363591a026a2cbtree | snapshot
parentd4253111e600d9e6d1c3469bbc5832d0d79ee89acommit | diff
model: remove incorrect #undef

Don't 'undef' something; rename it. Anyway, this is unnecessary now, since
someone renamed the new DEBUG.
model.cc diff | blob | history
C++11 memory model checker