From 3560d104815a8823bc277c60e35cb88f435814a8 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 21 Nov 2012 18:56:22 +0100
Subject: [PATCH] Added comment for destructor.

---
 src/models/backward_transitions.h | 4 ++++
 1 file changed, 4 insertions(+)

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;