projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4698d40) | patch
snapshot: remove duplicate definition of finalize()
authorBrian Norris <banorris@uci.edu>
Thu, 31 May 2012 18:40:25 +0000 (11:40 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 31 May 2012 18:40:25 +0000 (11:40 -0700)
commit4568d21526e5c3c79cb99eea8277a5fef9127283
tree4377445b65e8793e98175b1c50839f3aa808e186tree | snapshot
parent4698d40e0ba982029b4e1f018f2bdfc1b99a5b32commit | diff
snapshot: remove duplicate definition of finalize()

finalize() was moved to snapshot-interface.h but wasn't removed from snapshot.h
snapshot.h diff | blob | history
C++11 memory model checker