projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
c9b7de7
)
Specify that the default initialization must always be done for CDOhash_map's data...
author
Tim King
<taking@google.com>
Fri, 23 Oct 2015 22:35:57 +0000
(15:35 -0700)
committer
Tim King
<taking@google.com>
Sat, 24 Oct 2015 02:13:32 +0000
(19:13 -0700)
src/context/cdhashmap.h
patch
|
blob
|
history
diff --git
a/src/context/cdhashmap.h
b/src/context/cdhashmap.h
index 324a5a2b437ed8c7a87d5d3cefdb58f9272d1cdb..338c46b0db9f6afcf79826d6b50e03a5c52e1a9c 100644
(file)
--- a/
src/context/cdhashmap.h
+++ b/
src/context/cdhashmap.h
@@
-188,6
+188,7
@@
public:
bool allocatedInCMM = false) :
ContextObj(allocatedInCMM, context),
d_key(key),
+ d_data(),
d_map(NULL),
d_noTrash(allocatedInCMM) {