Cosmetic changes.

diff --git a/src/ata.ml b/src/ata.ml
index da2f8ce..0ae811d 100644 (file)
--- 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
+
+
+