X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fasta.mli;fp=src%2Fasta.mli;h=dff376f1c3ce65834e1dc5469e56d6439309f35b;hb=5a9c2accf1b54294cd71b90ca5cca5f69ac8e76e;hp=0dd1994a83457376527d7e96654f03ce207d51f4;hpb=8beacdfe24b6e93a7c1a4faee4c5587104f5c1ad;p=tatoo.git

diff --git a/src/asta.mli b/src/asta.mli
index 0dd1994..dff376f 100644
--- a/src/asta.mli
+++ b/src/asta.mli
@@ -2,7 +2,7 @@
 (*                                                                     *)
 (*                               TAToo                                 *)
 (*                                                                     *)
-(*                  ?   *)
+(*                  Lucca Hirschi, ?   *)
 (*                  ?   *)
 (*                                                                     *)
 (*  Copyright 2010-2012 Université Paris-Sud and Centre National de la *)
@@ -34,6 +34,9 @@ val transition : t -> state -> label -> formula
 val transitions : t -> state -> (label*formula) list
 (** Give the list of labels and formulae from transitions for a given state *)
 
+val dummy : t
+(** The empty automaton *)
+
 val print : Format.formatter -> t -> unit
 (** Describe the automaton as text *)