X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fboolean.ml;h=09b62b6042badef703a942e28212af6bce8d3738;hp=296f7a66893992089588992d3d9d26181b5ac858;hb=f3d9a505aa793e7db4f9528fca98e9b37b0511b0;hpb=8c4a23b0bb5883174e225e16d0ac9e5fe2c13032

diff --git a/src/boolean.ml b/src/boolean.ml
index 296f7a6..09b62b6 100644
--- a/src/boolean.ml
+++ b/src/boolean.ml
@@ -158,4 +158,5 @@ let fold f phi acc =
   in
   loop phi acc
 
+let iter f phi = fold (fun phi () -> f phi) phi ()
 end