michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(kernel/object): uninitialized variable

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-12-28 21:57:56 -08:00
parent 41c1010043
commit 5e0b344871
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/kernel/object.cpp
View file

@ -193,7 +193,7 @@ class definition_object_cell : public named_typed_object_cell {
unsigned m_weight;
public:
definition_object_cell(name const & n, expr const & t, expr const & v, unsigned weight):
named_typed_object_cell(object_kind::Definition, n, t), m_value(v), m_weight(weight) {}
named_typed_object_cell(object_kind::Definition, n, t), m_value(v), m_opaque(false), m_weight(weight) {}
virtual ~definition_object_cell() {}
virtual bool is_definition() const { return true; }