Initializing the ElementSig Value
authorHamed Gorjiara <hgorjiar@uci.edu>
Tue, 22 Jan 2019 19:00:04 +0000 (11:00 -0800)
committerHamed Gorjiara <hgorjiar@uci.edu>
Tue, 22 Jan 2019 19:00:04 +0000 (11:00 -0800)
src/AlloyEnc/signature.cc

index 9b02d32e21623cf487fde9f148f85dfcdfab404b..62c1c1a9972dfcc8dd657066275d43fa54b6e759 100644 (file)
@@ -3,7 +3,8 @@
 
 ElementSig::ElementSig(uint id, SetSig *_ssig): 
        Signature(id),
-       ssig(_ssig)
+       ssig(_ssig),
+       value(0)
 {
        
 }