diff --git a/src/models/backward_transitions.h b/src/models/backward_transitions.h index bfebdd8cf..a99f0ae3e 100644 --- a/src/models/backward_transitions.h +++ b/src/models/backward_transitions.h @@ -74,6 +74,10 @@ public: } } + //! Destructor + /*! + * Destructor. Frees the internal storage. + */ ~BackwardTransitions() { if (this->predecessor_list != NULL) { delete[] this->predecessor_list;