X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fauto%2Fata.ml;h=c7bb1720e855130e8884e47db29e8a6d115585ad;hp=9e370fd0e3660ba6ae49bcd7f60c1296d9b7c034;hb=54d24e939b72601a55832aa447ed31f1b256f02e;hpb=aecce690c554cbc0826e4ef6865384680fd4717a

diff --git a/src/auto/ata.ml b/src/auto/ata.ml
index 9e370fd..c7bb172 100644
--- a/src/auto/ata.ml
+++ b/src/auto/ata.ml
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-03-09 11:35:17 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-03-09 18:06:46 CET by Kim Nguyen>
 *)
 
 INCLUDE "utils.ml"
@@ -63,7 +63,7 @@ struct
     | Stay -> fprintf ppf "%s(%a)" Pretty.epsilon State.print q
     | Is_first_child -> fprintf ppf "FC%s?" Pretty.inverse
     | Is_next_sibling -> fprintf ppf "NS%s?" Pretty.inverse
-    | Is_attribute -> fprintf ppf "@?"
+    | Is_attribute -> fprintf ppf "%s" "@?"
     | Has_first_child -> fprintf ppf "FC?"
     | Has_next_sibling -> fprintf ppf "NS?"
 
@@ -112,6 +112,7 @@ struct
   and_
     (mk_atom Previous_sibling true q)
     is_next_sibling
+
   let stay q =
     (mk_atom Stay true q)