--- a/Implab/Automaton/RegularExpressions/RegularDFA.cs	Wed Dec 13 19:54:45 2017 +0300
+++ b/Implab/Automaton/RegularExpressions/RegularDFA.cs	Tue Jan 23 19:39:21 2018 +0300
@@ -77,14 +77,14 @@
             return states.GroupBy(x => m_tags[x] ?? new TTag[0], arrayComparer).Select(g => new HashSet<int>(g));
         }
 
-        public override string ToString() {
+        /*public override string ToString() {
             var states = new MapAlphabet<string>(false, null);
 
             for (int i = 0; i < StateCount; i++)
                 states.DefineSymbol(string.Format("s{0}", i), i);
 
             return string.Format("//[RegularDFA {1} x {2}]\n{0}", PrintDFA(InputAlphabet, states),StateCount, AlphabetSize);
-        }
+        }*/
 
     }
 }