Attempt at fixing CI issue
parent
7257797a5f
commit
6bcd1296c0
|
|
@ -39,6 +39,9 @@ namespace gtsam {
|
||||||
// Forward all constructors.
|
// Forward all constructors.
|
||||||
using std::vector<DiscreteKey>::vector;
|
using std::vector<DiscreteKey>::vector;
|
||||||
|
|
||||||
|
/// Get around gcc bug, which does not like above.
|
||||||
|
DiscreteKeys() {}
|
||||||
|
|
||||||
/// Construct from a key
|
/// Construct from a key
|
||||||
DiscreteKeys(const DiscreteKey& key) {
|
DiscreteKeys(const DiscreteKey& key) {
|
||||||
push_back(key);
|
push_back(key);
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue