Implem of Asta.print

[tatoo.git] / src / asta.mli

diff --git a/src/asta.mli b/src/asta.mli
index 76957e6..0dd1994 100644 (file)
--- a/src/asta.mli
+++ b/src/asta.mli
@@ -15,6 +15,7 @@
 
 (** Implementation of alternating selecting tree automata (ASTA) *)
 
+
 type state
 (** The type of states *)