Initializing the ElementSig Value
[satune.git] / 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)
 {
        
 }