From da84ba92e452d4d2a3eaf89f7638db25a7f84909 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Sun, 18 Aug 2013 12:18:26 +0200
Subject: [PATCH] Also print the number of states when printing automata.

---
 src/ata.ml | 2 ++
 1 file changed, 2 insertions(+)

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 =
-- 
2.17.1