projects
/
tatoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
aecce69
)
Fix the pretty printing of the attribute test.
author
Kim Nguyễn
<kn@lri.fr>
Sat, 9 Mar 2013 17:27:47 +0000
(18:27 +0100)
committer
Kim Nguyễn
<kn@lri.fr>
Sat, 9 Mar 2013 17:27:47 +0000
(18:27 +0100)
src/auto/ata.ml
patch
|
blob
|
history
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 1
1:35:17
CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-03-09 1
8: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)