From b18182d3220c63bdd7b4810ee5752413f317c28f Mon Sep 17 00:00:00 2001
From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Tue, 22 Jan 2019 11:00:04 -0800
Subject: [PATCH] Initializing the ElementSig Value

---
 src/AlloyEnc/signature.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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