X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fata.ml;h=0ae811d12b8b7924c0b42ee0c76af0a4c18a9d8d;hb=cb90d64919eb8ebe56aecfec3a1a8af86642df04;hp=da2f8ce2c765589f85b1b6f3cd533ed6e875a2b9;hpb=a47ebfed7e88a701a3345be1bda3c25fd81195a3;p=SXSI%2Fxpathcomp.git

diff --git a/src/ata.ml b/src/ata.ml
index da2f8ce..0ae811d 100644
--- a/src/ata.ml
+++ b/src/ata.ml
@@ -252,3 +252,6 @@ let top_down_approx auto states tree =
 	(List.exists (fun (_,(_,_,b)) -> b) td_approx)
     in
     Cache.add cache states jump; jump
+
+
+