Fix the pretty printing of the attribute test.

diff --git a/src/auto/ata.ml b/src/auto/ata.ml
index 9e370fd..c7bb172 100644 (file)
--- 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"
 *)
 
 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
     | 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?"
 
     | 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
   and_
     (mk_atom Previous_sibling true q)
     is_next_sibling

+

   let stay q =
     (mk_atom Stay true q)
 
   let stay q =
     (mk_atom Stay true q)