From 54d24e939b72601a55832aa447ed31f1b256f02e Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Sat, 9 Mar 2013 18:27:47 +0100
Subject: [PATCH] Fix the pretty printing of the attribute test.

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

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