Correct TP algorithm with fixed point (to be tested).

[tatoo.git] / src / compil.ml

diff --git a/src/compil.ml b/src/compil.ml
index 22ae300..b15b069 100644 (file)
--- 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;