From: Kim Nguyễn <kn@lri.fr>
Date: Thu, 1 Mar 2012 13:25:35 +0000 (+0100)
Subject: Cosmetic changes.
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=cb90d64919eb8ebe56aecfec3a1a8af86642df04;hp=a47ebfed7e88a701a3345be1bda3c25fd81195a3;p=SXSI%2Fxpathcomp.git

Cosmetic changes.
---

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
+
+
+