projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
f5fbcb4
)
snapshot: don't declare sTheRecord in both #if and #else
author
Brian Norris
<banorris@uci.edu>
Thu, 14 Jun 2012 06:39:59 +0000
(23:39 -0700)
committer
Brian Norris
<banorris@uci.edu>
Thu, 14 Jun 2012 06:43:06 +0000
(23:43 -0700)
snapshot.cc
patch
|
blob
|
history
diff --git
a/snapshot.cc
b/snapshot.cc
index 65a7e213132d894adada96d310919a33f4bebbda..0e47ac00f5cb22508bac587039d6d38246c54490 100644
(file)
--- a/
snapshot.cc
+++ b/
snapshot.cc
@@
-28,7
+28,6
@@
/* extern declaration definition */
#if USE_MPROTECT_SNAPSHOT
struct SnapShot * snapshotrecord = NULL;
-struct Snapshot_t * sTheRecord = NULL;
#else
struct Snapshot_t * sTheRecord = NULL;
#endif