projects
/
satune.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
342c3e5
)
Initializing the ElementSig Value
author
Hamed Gorjiara
<hgorjiar@uci.edu>
Tue, 22 Jan 2019 19:00:04 +0000
(11:00 -0800)
committer
Hamed Gorjiara
<hgorjiar@uci.edu>
Tue, 22 Jan 2019 19:00:04 +0000
(11:00 -0800)
src/AlloyEnc/signature.cc
patch
|
blob
|
history
diff --git
a/src/AlloyEnc/signature.cc
b/src/AlloyEnc/signature.cc
index 9b02d32e21623cf487fde9f148f85dfcdfab404b..62c1c1a9972dfcc8dd657066275d43fa54b6e759 100644
(file)
--- a/
src/AlloyEnc/signature.cc
+++ b/
src/AlloyEnc/signature.cc
@@
-3,7
+3,8
@@
ElementSig::ElementSig(uint id, SetSig *_ssig):
Signature(id),
- ssig(_ssig)
+ ssig(_ssig),
+ value(0)
{
}