diff --git a/src/models/dtmc.h b/src/models/dtmc.h index 9fd939a71..007f20212 100644 --- a/src/models/dtmc.h +++ b/src/models/dtmc.h @@ -32,9 +32,9 @@ public: /*! * Constructs a DTMC object from the given transition probability matrix and * the given labeling of the states. - * \param probability_matrix The transition probability function of the + * @param probability_matrix The transition probability function of the * DTMC given by a matrix. - * \param state_labeling The labeling that assigns a set of atomic + * @param state_labeling The labeling that assigns a set of atomic * propositions to each state. */ Dtmc(mrmc::sparse::StaticSparseMatrix* probability_matrix,