X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fcompil.ml;h=b15b06960295129d37bf1fcff557e1c895b0ecd7;hb=3c05557d22d07e447ae8efae3bfe38619c14c2a9;hp=22ae300afe9bdeb9820943b274d3891ebc534b0e;hpb=d4e704decf927be044d72a6fe4314aea3c8125a5;p=tatoo.git

diff --git a/src/compil.ml b/src/compil.ml
index 22ae300..b15b069 100644
--- a/src/compil.ml
+++ b/src/compil.ml
@@ -47,7 +47,7 @@ let trans query =
 
   (* A selecting state is needed *)
   and trans_last (ax,test,pred) =
-    let fo_p = trans_pr pred in
+    let fo_p = trans_pr pred in         (* TODO (if ax=Self, only q *)
     let q,q' = Asta.new_state(), Asta.new_state() in
     Asta.add_selec asta q';
     Asta.add_quer asta q;