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 9b02d32..62c1c1a 100644 (file)
@@ -3,7 +3,8 @@
 
 ElementSig::ElementSig(uint id, SetSig *_ssig): 
        Signature(id),
-       ssig(_ssig)
+       ssig(_ssig),
+       value(0)
 {
        
 }