diff --git a/alib2algo/src/regexp/convert/ToAutomatonDerivation.h b/alib2algo/src/regexp/convert/ToAutomatonDerivation.h
index 349ee8ff1f9b5148afeea8562e59b9764e701c35..dc6bbb31dce13c1260e1f187b7c4b179c9fbc079 100644
--- a/alib2algo/src/regexp/convert/ToAutomatonDerivation.h
+++ b/alib2algo/src/regexp/convert/ToAutomatonDerivation.h
@@ -3,7 +3,7 @@
 #include <regexp/formal/FormalRegExp.h>
 #include <regexp/unbounded/UnboundedRegExp.h>
 
-#include <automaton/FSM/NFA.h>
+#include <automaton/FSM/DFA.h>
 
 #include <regexp/RegExp.h>
 
@@ -87,4 +87,3 @@ automaton::DFA < SymbolType, unsigned > ToAutomatonDerivation::convert(const T&
 } /* namespace convert */
 
 } /* namespace regexp */
-