X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;ds=sidebyside;f=tests%2Fresults%2Fmy.result;fp=tests%2Fresults%2Fmy.result;h=57e54c10c76d4b9b98044590a5e2d80e7aedf33a;hb=56887cd3c475e6ee16a7ee5953dfc3d687a12452;hp=227e73869996d74fa48957416838adc9c79072fa;hpb=6b4b9309e0f49f9a87d97ea87829aa74614dedb7;p=tatoo.git

diff --git a/tests/results/my.result b/tests/results/my.result
index 227e738..57e54c1 100644
--- a/tests/results/my.result
+++ b/tests/results/my.result
@@ -17,8 +17,8 @@ Parse query OK ! Parse Tree OK ! Compil OK ! Run OK !
   # Query states: { q₁ q₂ q₈ q₉ }
   # Recognizing states: { q₀ q₃ q₄ q₅ q₆ q₇ }
   # Selecting states: { q₁ }
-  # Bottom states: { q₁ q₂ q₈ }
-  # Tom states: { q₉ }
+  # Bottom states: { q₂ q₈ q₉ }
+  # Top states: { q₉ }
   # Queries transitions:
     |  q₁ ----F(b)---> ↓₁q₀  
     |  q₂ ----Cof(ø)---> ↓₁q₂ ∨ ↓₂q₂ ∨ ↓₁q₁ ∨ ↓₂q₁