From 6a77972f0e108994b6381ce65085c631c8e57c3f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20Tr=C3=A1vn=C3=AD=C4=8Dek?= <jan.travnicek@fit.cvut.cz>
Date: Mon, 29 Nov 2021 18:29:20 +0100
Subject: [PATCH] algo: remove not needed include

---
 alib2algo/src/regexp/convert/ToAutomatonDerivation.h | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/alib2algo/src/regexp/convert/ToAutomatonDerivation.h b/alib2algo/src/regexp/convert/ToAutomatonDerivation.h
index 349ee8ff1f..dc6bbb31dc 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 */
-
-- 
GitLab