Initializing the ElementSig Value

[satune.git] / src / AlloyEnc / signature.cc

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)
 {
        
 }