X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fcompil.ml;fp=src%2Fcompil.ml;h=720bb98f86b0b0f2043a0a4c00b59167be503d5d;hb=56887cd3c475e6ee16a7ee5953dfc3d687a12452;hp=f50522927d0824f0a6cdcd8a8fec3dfbf0d547bc;hpb=6b4b9309e0f49f9a87d97ea87829aa74614dedb7;p=tatoo.git

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