diff --git a/src/graph/statistics.cc b/src/graph/statistics.cc index 56d58b9699f64cefc9bd26de5b3f5171de05e414..841381a1eb45d98402edb10dddff879463d666cc 100644 --- a/src/graph/statistics.cc +++ b/src/graph/statistics.cc @@ -153,9 +153,14 @@ namespace hpp { void LeafHistogram::add (const core::NodePtr_t& n) { - iterator it = insert - (LeafBin (constraint_->configProjector ()->rightHandSideFromConfig - (*n->configuration ()))); + iterator it; + if (constraint_->configProjector ()) { + it = insert + (LeafBin (constraint_->configProjector ()->rightHandSideFromConfig + (*n->configuration ()))); + } else { + it = insert (LeafBin (vector_t (0))); + } it->push_back (n); if (numberOfObservations()%10 == 0) { hppDout (info, *this);