X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fboolean.ml;h=882f30f427f5f3a9d21dabfd1541aaf166627d9f;hp=09b62b6042badef703a942e28212af6bce8d3738;hb=35abea737ead2d4fd121d0cb8bdbda38cfcaa8d3;hpb=78d247dc5e6d5e64a4ab848702c23ce81b6fc615

diff --git a/src/boolean.ml b/src/boolean.ml
index 09b62b6..882f30f 100644
--- a/src/boolean.ml
+++ b/src/boolean.ml
@@ -96,10 +96,11 @@ struct
           fprintf ppf " %s "  Pretty.wedge;
           print ~parent:(prio f > prio f2) ppf f2;
       | Or(f1,f2) ->
-          (print ppf f1);
+          print ppf f1;
           fprintf ppf " %s " Pretty.vee;
-          (print ppf f2);
-      | Atom(p,b) -> fprintf ppf "%s%a" (if b then "" else Pretty.lnot) A.print p
+          print ppf f2
+      | Atom(p,b) ->
+        fprintf ppf "%s%a" (if b then "" else Pretty.lnot) A.print p
   in
     if parent then fprintf ppf ")"
 
@@ -111,9 +112,9 @@ let is_false f = (expr f) == False
 let cons pos neg =
   let nnode = Node.make { pos = neg; neg = Obj.magic 0 } in
   let pnode = Node.make { pos = pos; neg = nnode } in
-    (Node.node nnode).neg <- pnode; (* works because the neg field isn't taken into
-                                       account for hashing ! *)
-    pnode,nnode
+  (Node.node nnode).neg <- pnode; (* works because the neg field isn't
+                                    taken into account for hashing ! *)
+  pnode, nnode
 
 
 let true_,false_ = cons True False