Found two bugs by rewriting the compilation in the thesis.

[tatoo.git] / tests / results / my.result

diff --git a/tests/results/my.result b/tests/results/my.result
index 227e738..57e54c1 100644 (file)
--- 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â\82\81 qâ\82\82 qâ\82\88 }
-  # Tom states: { q₉ }
+  # Bottom states: { qâ\82\82 qâ\82\88 qâ\82\89 }
+  # Top states: { q₉ }
   # Queries transitions:
     |  q₁ ----F(b)---> ↓₁q₀  
     |  q₂ ----Cof(ø)---> ↓₁q₂ ∨ ↓₂q₂ ∨ ↓₁q₁ ∨ ↓₂q₁