# HG changeset patch
# User cin
# Date 2016-02-18 13:06:14
# Node ID 5558e43c79bb2fd37982c64f8720579a96553c19
# Parent  13078136479991f8148233b2c83c42bb50f704ab

minor fix

diff --git a/Implab/Parsing/DFADefinition.cs b/Implab/Parsing/DFADefinition.cs
--- a/Implab/Parsing/DFADefinition.cs
+++ b/Implab/Parsing/DFADefinition.cs
@@ -256,7 +256,9 @@ namespace Implab.Parsing {
         }
 
         public int AlphabetSize {
-            get;
+            get {
+                return m_alpabetSize;
+            }
         }
     }
 }