Fixed a typo in labeling.h

13 years ago · 840b818c61
1 changed files with 1 additions and 1 deletions
--- 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