X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fata.mli;fp=src%2Fata.mli;h=1f8e8637ee6a1b1487bab295d9d7118b2487d4e9;hp=54ed1b4a075e3651c9bf05fecac74c26e288e279;hb=e3ad6d6f098809af95ddaf8b1e9bc4ec5cb7b0f4;hpb=fe2ba1820282783ae8c10fbbbd2b65d3dc4c67f2

diff --git a/src/ata.mli b/src/ata.mli
index 54ed1b4..1f8e863 100644
--- a/src/ata.mli
+++ b/src/ata.mli
@@ -207,7 +207,7 @@ sig
   val finalize : t  -> auto
 (** Finalize the automaton and return it. Clean-up unused states
     (states that do not occur in any transitions and remove
-    instantes of negative [move] atoms by creating fresh states
+    instances of negative [move] atoms by creating fresh states
     that accept the complement of the negated state.  *)
 end
   (** Builder facility for the automaton *)