projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f24d552) | patch
snapshot-interface: don't export SnapshotGlobalSegments()
authorBrian Norris <banorris@uci.edu>
Thu, 14 Jun 2012 06:20:43 +0000 (23:20 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 14 Jun 2012 06:20:43 +0000 (23:20 -0700)
commit59f0936bdf663c198e36b3b365868bdea8420594
tree938432a8163314d1bdb7c5c7173a2d3117126395tree | snapshot
parentf24d5521d1fcb0d710a2b8107aa5782e8ce430b6commit | diff
snapshot-interface: don't export SnapshotGlobalSegments()

SnapshotGlobalSegments() is only used within snapshot-interface.cc, so declare
it static and remove it from the header.
snapshot-interface.cc diff | blob | history
snapshot-interface.h diff | blob | history
C++11 memory model checker