X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fata.ml;h=a4ea306d87267dbd91713ca53e5e275effbf06c9;hb=4b5e86cc5fa3e62a1cb7d29acf79ffb314194efa;hp=5e28a54cf7afaf571d3762c6690606daf3230797;hpb=aade6d9ba2e2b65e021de8a1c3a2d3874aa5742e;p=tatoo.git

diff --git a/src/ata.ml b/src/ata.ml
index 5e28a54..a4ea306 100644
--- a/src/ata.ml
+++ b/src/ata.ml
@@ -175,11 +175,13 @@ let print fmt a =
   fprintf fmt
     "Internal UID: %i@\n\
      States: %a@\n\
+     Number of states: %i@\n\
      Starting states: %a@\n\
      Selection states: %a@\n\
      Alternating transitions:@\n"
     (a.id :> int)
     StateSet.print a.states
+    (StateSet.cardinal a.states)
     StateSet.print a.starting_states
     StateSet.print a.selecting_states;
   let trs =