diff Implab/Automaton/IDFATableBuilder.cs @ 168:8fb9c9507a26 ref20160224

sync
author cin
date Wed, 02 Mar 2016 19:59:16 +0300
parents 96681e9d0cea
children 76e8f2ba12b8
line wrap: on
line diff
--- a/Implab/Automaton/IDFATableBuilder.cs	Wed Mar 02 00:20:48 2016 +0300
+++ b/Implab/Automaton/IDFATableBuilder.cs	Wed Mar 02 19:59:16 2016 +0300
@@ -10,7 +10,6 @@
         void MarkFinalState(int state);
 
         void SetInitialState(int s);
-
     }
 }