From 1c2afd4a9a6d449d38856d623180607cdd1d3789 Mon Sep 17 00:00:00 2001
From: Jan Vesely <janvesely@janvesely.net>
Date: Sun, 6 Apr 2014 13:45:20 +0200
Subject: [PATCH] add final state to first vpa example automaton

---
 examples/automaton/VPA1.xml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/examples/automaton/VPA1.xml b/examples/automaton/VPA1.xml
index 0565f6aef8..aadec53f68 100644
--- a/examples/automaton/VPA1.xml
+++ b/examples/automaton/VPA1.xml
@@ -63,5 +63,7 @@
   <startSymbols>
     <symbol>âŠĄ</symbol>
   </startSymbols>
-  <finalStates></finalStates>
+  <finalStates>
+    <state>1</state>
+  </finalStates>
 </automaton>
-- 
GitLab