fix comment

Co-authored-by: David Chocholatý <[email protected]>
VeriFIT · Oct 25, 2024 · a7c18c4 · a7c18c4
1 parent 16fb25d
commit a7c18c4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/include/mata/nfa/nfa.hh b/include/mata/nfa/nfa.hh
@@ -219,7 +219,7 @@ public:
     /**
      * @brief Get some shortest accepting run from state @p q
      * 
-     * Assumes that @p q is a state of this automaton and that there is some accepting run from q
+     * Assumes that @p q is a state of this automaton and that there is some accepting run from @p q
      * 
      * @param distances_to_final Vector of the lengths of the shortest runs from states (can be computed using distances_to_final())
      */