Update include/mata/nfa/algorithms.hh

Co-authored-by: Tomas Fiedor <[email protected]>
VeriFIT · Sep 28, 2023 · 10f110f · 10f110f
1 parent 31fa23c
commit 10f110f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/include/mata/nfa/algorithms.hh b/include/mata/nfa/algorithms.hh
@@ -91,7 +91,7 @@ bool is_universal_naive(const Nfa& aut, const Alphabet& alphabet, Run* cex);
 
 /**
  * Universality checking based on subset construction with antichain.
- * @param[in] aut Automaton which universality is checke
+ * @param[in] aut Automaton which universality is checked
  * @param[in] alphabet Alphabet of the automaton
  * @param[out] cex Counterexample word which eventually breaks the universality
  * @return True if the automaton is universal, otherwise false.