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