diff --git a/alib2/src/automaton/TM/OneTapeDTM.cpp b/alib2/src/automaton/TM/OneTapeDTM.cpp index 5431ce474c6832e57c8f708f9721da17244df8b8..486e16aa582ab60f36329c973a50977722f887ee 100644 --- a/alib2/src/automaton/TM/OneTapeDTM.cpp +++ b/alib2/src/automaton/TM/OneTapeDTM.cpp @@ -11,9 +11,6 @@ namespace automaton { -using namespace std; -using namespace alphabet; - OneTapeDTM::OneTapeDTM(const State& initialState, const alphabet::Symbol& blank) : SingleInitialState(initialState), BlankSymbolInputTapeAlphabet(blank) { }