projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c33dc35) | patch
snapshot: move local defines after #includes
authorBrian Norris <banorris@uci.edu>
Mon, 21 May 2012 17:55:28 +0000 (10:55 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 21 May 2012 17:55:28 +0000 (10:55 -0700)
commit6ec40350feecd12fe123b19a5ead7740f1c21bac
tree6131a8c56fa45180859ec72389015086def3eccftree | snapshot
parentc33dc352b7abbea5c4be83b6a2e82a4088d9b108commit | diff
snapshot: move local defines after #includes

Prevents accidental dependencies, where a header *might* use PAGESIZE, e.g.
snapshot-interface.cc diff | blob | history
C++11 memory model checker