From 840b818c613761e8cb0fc2726e1bd42f92f3bee7 Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Wed, 7 Nov 2012 18:30:15 +0100
Subject: [PATCH] Fixed a typo in labeling.h

---
 src/dtmc/labeling.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/dtmc/labeling.h b/src/dtmc/labeling.h
index 740f0eaaf..5cbb6ddcf 100644
--- a/src/dtmc/labeling.h
+++ b/src/dtmc/labeling.h
@@ -1,5 +1,5 @@
 /*
- * labelling.h
+ * labeling.h
  *
  *  Created on: 10.09.2012
  *      Author: Thomas Heinemann