From 107ea1e498dae381219dddfde0696bfd0c4d34c3 Mon Sep 17 00:00:00 2001 From: dehnert Date: Wed, 14 Nov 2012 19:42:33 +0100 Subject: [PATCH] Fixed minor typo in comment. --- src/models/dtmc.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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,