fix in Formula + Compil deals with FollowingSibling and Self

[tatoo.git] / src / formula.ml

diff --git a/src/formula.ml b/src/formula.ml
index 2d9893c..c3c836b 100644 (file)
--- a/src/formula.ml
+++ b/src/formula.ml
@@ -148,7 +148,7 @@ let atom_ d p s =
   let ss = match d with
     | `Left -> si, StateSet.empty
     | `Right -> StateSet.empty, si
-    | `Self -> si, StateSet.empty       (* TODO WHAT? *)
+    | `Self -> StateSet.empty, StateSet.empty       (* TODO WHAT? *)
   in fst (cons (Atom(d,p,s)) (Atom(d,not p,s)) ss ss 1 1)
 
 let not_ f = f.Node.node.neg