From: Kim Nguyễn <kn@lri.fr>
Date: Sat, 9 Mar 2013 17:27:47 +0000 (+0100)
Subject: Fix the pretty printing of the attribute test.
X-Git-Tag: v0.1~152^2~2
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=54d24e939b72601a55832aa447ed31f1b256f02e

Fix the pretty printing of the attribute test.
---

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)