diff options
Diffstat (limited to 'src/utils/automata/dfa_minimizer.hpp')
| -rw-r--r-- | src/utils/automata/dfa_minimizer.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/utils/automata/dfa_minimizer.hpp b/src/utils/automata/dfa_minimizer.hpp index 617617e3..ae647b44 100644 --- a/src/utils/automata/dfa_minimizer.hpp +++ b/src/utils/automata/dfa_minimizer.hpp @@ -111,7 +111,7 @@ class DFAMinimizer { it = buckets_.emplace(bucket_id, Bucket{std::move(symbols)}).first; } it->second.states.emplace(name, transitions); - gsl_Ensures(buckets_by_state_.emplace(name, bucket_id).second); + Ensures(buckets_by_state_.emplace(name, bucket_id).second); } // Compute bisimulation for each state and return a map, which maps a |