projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
- Reorder the keys used to cache transitions
[tatoo.git]
/
src
/
tree
/
common.ml
diff --git
a/src/tree/common.ml
b/src/tree/common.ml
index
099d751
..
76e6dc2
100644
(file)
--- a/
src/tree/common.ml
+++ b/
src/tree/common.ml
@@
-14,13
+14,13
@@
(***********************************************************************)
(*
(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-03-1
1 00:11:53
CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-03-1
6 07:01:10
CET by Kim Nguyen>
*)
module NodeKind =
struct
type t =
*)
module NodeKind =
struct
type t =
- Document | Element | Text |
Comment | Attribute
| ProcessingInstruction
+ Document | Element | Text |
Attribute | Comment
| ProcessingInstruction
| Node
let to_string =
| Node
let to_string =