# HG changeset patch
# User cin
# Date 1455800774 -10800
# Node ID 5558e43c79bb2fd37982c64f8720579a96553c19
# Parent  13078136479991f8148233b2c83c42bb50f704ab
minor fix

diff -r 130781364799 -r 5558e43c79bb Implab/Parsing/DFADefinition.cs
--- a/Implab/Parsing/DFADefinition.cs	Thu Feb 18 14:34:02 2016 +0300
+++ b/Implab/Parsing/DFADefinition.cs	Thu Feb 18 16:06:14 2016 +0300
@@ -256,7 +256,9 @@
         }
 
         public int AlphabetSize {
-            get;
+            get {
+                return m_alpabetSize;
+            }
         }
     }
 }