From cb90d64919eb8ebe56aecfec3a1a8af86642df04 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Thu, 1 Mar 2012 14:25:35 +0100
Subject: [PATCH] Cosmetic changes.

---
 src/ata.ml | 3 +++
 1 file changed, 3 insertions(+)

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