Cosmetic changes (truncate long lines, remove trailing spaces…)

[tatoo.git] / src / boolean.ml

diff --git a/src/boolean.ml b/src/boolean.ml
index 09b62b6..882f30f 100644 (file)
--- 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