Merge branch 'fix_cex' of github.com:VeriFIT/mata into fix_cex

VeriFIT · Oct 25, 2024 · 64f00fa · 64f00fa
2 parents e793a78 + a7c18c4
commit 64f00fa
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())
      */