projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59f0936) | patch
snapshot: remove 'extern "C"' block
authorBrian Norris <banorris@uci.edu>
Thu, 14 Jun 2012 06:28:10 +0000 (23:28 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 14 Jun 2012 06:32:16 +0000 (23:32 -0700)
commitf5fbcb47d918e04f14e0d79d64538bf72afb6be4
treee6da22b0e9c12f4dd7c7e1069a84d1882571e505tree | snapshot
parent59f0936bdf663c198e36b3b365868bdea8420594commit | diff
snapshot: remove 'extern "C"' block

We do not need to wrap this function in 'extern "C"' for two reasons:

1) It's not actually exported and used in C code
2) You only need this sort of declaration in the header file that may be
   included in both C++ and C compilation. But snapshot.cc should only be
   compiled by the C++ compiler, and snapshot.h is not included in any C
   compilation.
snapshot.cc diff | blob | history
snapshot.h diff | blob | history
C++11 memory model checker