From 56887cd3c475e6ee16a7ee5953dfc3d687a12452 Mon Sep 17 00:00:00 2001
From: Lucca Hirschi <lucca.hirschi@gmail.com>
Date: Tue, 3 Jul 2012 16:04:20 +0200
Subject: [PATCH] Found two bugs by rewriting the compilation in the thesis.

---
 src/asta.ml             | 2 +-
 src/compil.ml           | 4 ++--
 tests/results/my.result | 4 ++--
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/asta.ml b/src/asta.ml
index dc7b88d..56bb8da 100644
--- a/src/asta.ml
+++ b/src/asta.ml
@@ -122,7 +122,7 @@ let print fmt asta =
       StateSet.print asta.selec;
     pp "@[<v 0># Bottom states: %a@ @]"
       StateSet.print asta.bottom;
-    pp "@[<v 0># Tom states: %a@ @]"
+    pp "@[<v 0># Top states: %a@ @]"
       StateSet.print asta.top;
     let print_list_tr fmt z=
       if SetT.is_empty z 
diff --git a/src/compil.ml b/src/compil.ml
index f505229..720bb98 100644
--- a/src/compil.ml
+++ b/src/compil.ml
@@ -39,6 +39,7 @@ let trans query =
     Asta.add_quer asta top_st;
     Asta.init_top asta;
     Asta.add_top asta top_st;
+    Asta.add_bot asta top_st;	(* for trees which are leaves *)
     Asta.add_tr asta (top_st, Asta.any_label, or_top) true
       
   and trans_last (ax,test,pred) =	(* a selecting state is needed *)
@@ -49,8 +50,7 @@ let trans query =
     Asta.add_quer asta q';
     Asta.add_top asta q;
     Asta.add_top asta q';
-    Asta.add_bot asta q;
-    Asta.add_bot asta q';
+    Asta.add_bot asta q;		(* q' \notin B !! *)
     let Simple lab = test in
     let tr_selec = (q', lab, fo_p)
     and tr_q = (q, Asta.any_label, form_propa_selec q q' ax) in
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₁  
-- 
2.17.1