diff --git a/libsolutil/LP.h b/libsolutil/LP.h index e5c11c2ec..cc222df2c 100644 --- a/libsolutil/LP.h +++ b/libsolutil/LP.h @@ -42,7 +42,7 @@ struct Constraint LinearExpression data; bool equality = false; /// Set of literals the conjunction of which implies this constraint. - std::set reasons; + std::set reasons = {}; bool operator<(Constraint const& _other) const; bool operator==(Constraint const& _other) const;