diff --git a/alib2algo_experimental/src/automaton/RandomAutomatonFactory2.h b/alib2algo_experimental/src/automaton/RandomAutomatonFactory2.h index 741d7a60d9f67d5ccf85ddb4d12a7b19c4436030..479e77536bf000b96f1808596479bfdad2fd1cf4 100644 --- a/alib2algo_experimental/src/automaton/RandomAutomatonFactory2.h +++ b/alib2algo_experimental/src/automaton/RandomAutomatonFactory2.h @@ -71,7 +71,7 @@ void RandomAutomatonFactory2::addTransition ( automaton::DFA < SymbolType, unsig } template < class SymbolType > -automaton::DFA < SymbolType, unsigned > RandomAutomatonFactory2::NonminimalDFA( size_t statesMinimal, size_t statesDuplicates, size_t statesUnreachable, size_t statesUseless, const ext::deque < SymbolType > & alphabet, double density ) __attribute__ ((optnone)) { +automaton::DFA < SymbolType, unsigned > RandomAutomatonFactory2::NonminimalDFA( size_t statesMinimal, size_t statesDuplicates, size_t statesUnreachable, size_t statesUseless, const ext::deque < SymbolType > & alphabet, double density ) { if( alphabet.size( ) <= 0 ) throw exception::CommonException( "Alphabet size must be greater than 0." );