projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e9d2d6e) | patch
snapshot: kill useless macro
authorBrian Norris <banorris@uci.edu>
Fri, 5 Apr 2013 17:27:18 +0000 (10:27 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 5 Apr 2013 17:28:16 +0000 (10:28 -0700)
commitd775a7d6624fa14284c4a273d039bedd21a1f55c
treec56df8cb32b364e8251c3af54f00af73604b70bctree | snapshot
parente9d2d6e08dcf6962aa7b2818389d9a6d451d7d14commit | diff
snapshot: kill useless macro

We're not reusing this macro, so it's better just to use the standard
perror() followed by exit().
snapshot.cc diff | blob | history
C++11 memory model checker