X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fasta.ml;h=670bb3515055b750ae46af51af671fd809b6aed4;hp=cb4521ef242b9daf6cca0706d7e93c3d5e4935aa;hb=5a9c2accf1b54294cd71b90ca5cca5f69ac8e76e;hpb=8beacdfe24b6e93a7c1a4faee4c5587104f5c1ad

diff --git a/src/asta.ml b/src/asta.ml
index cb4521e..670bb35 100644
--- a/src/asta.ml
+++ b/src/asta.ml
@@ -13,8 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-open Format
-
 type state = State.t
 
 type label = QNameSet.t
@@ -73,6 +71,14 @@ let transitions asta st =
     | (a,s,l) :: tl -> (s,l) :: (remove_states tl) in
   remove_states (SetT.elements (SetT.filter filter asta.trans))
 
+let dummy = {
+  reco = StateSet.empty;
+  selec = StateSet.empty;
+  bottom = StateSet.empty;
+  top = StateSet.empty;
+  trans = SetT.empty;
+}
+
 
 let print fmt asta =
   let pp = Format.fprintf fmt in
@@ -85,7 +91,7 @@ let print fmt asta =
   pp "\nTop states: ";
   StateSet.print fmt asta.top;
   pp "\nTransitions: \n";
-  Format.fprintf fmt "{@[<hov n> %a @]}" (* todo: check boxes *)
+  Format.fprintf fmt "{@[<hov 2> %a @]}" (* todo: check boxes *)
     (Pretty.print_list ~sep:"@, " (Transition.print))
     (SetT.elements (asta.trans))