X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FAlloyEnc%2Fsignature.cc;h=62c1c1a9972dfcc8dd657066275d43fa54b6e759;hp=9b02d32e21623cf487fde9f148f85dfcdfab404b;hb=b18182d3220c63bdd7b4810ee5752413f317c28f;hpb=342c3e59b76a3e79741a0867f7770255eaa82c63

diff --git a/src/AlloyEnc/signature.cc b/src/AlloyEnc/signature.cc
index 9b02d32..62c1c1a 100644
--- 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)
 {
 	
 }