X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fformula.ml;fp=src%2Fformula.ml;h=c3c836b2d6c83ef782f992c7b843f173bf738fab;hb=64d7d77a886a9fb00d62156b6dd1a43487b30772;hp=2d9893cd223cd2d1d808a169728a2eee98c82ac0;hpb=0223b78baf156e7b8de86e334a4648fb2c3819e8;p=tatoo.git

diff --git a/src/formula.ml b/src/formula.ml
index 2d9893c..c3c836b 100644
--- 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