projects
/
tatoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
58fed21
)
Avoid one string concatenation in debug printing function.
author
Kim Nguyễn
<kn@lri.fr>
Tue, 5 Feb 2013 13:11:09 +0000
(14:11 +0100)
committer
Kim Nguyễn
<kn@lri.fr>
Tue, 5 Feb 2013 13:11:09 +0000
(14:11 +0100)
src/tree.ml
patch
|
blob
|
history
diff --git
a/src/tree.ml
b/src/tree.ml
index
f502c7e
..
71f9a98
100644
(file)
--- a/
src/tree.ml
+++ b/
src/tree.ml
@@
-14,7
+14,7
@@
(***********************************************************************)
(*
(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-0
1-30 19:06:51 CET by Kim Nguye
n>
+ Time-stamp: <Last modified on 2013-0
2-05 13:56:52 CET by Kim Nguyễ
n>
*)
type node = {
*)
type node = {
@@
-65,10
+65,10
@@
struct
}
let print_node_ptr fmt n =
}
let print_node_ptr fmt n =
- Format.fprintf fmt "
%s
"
- (if n == nil then "
<NIL>
" else
- if n == dummy then "
<DUMMY>
" else
- "
<NODE " ^ string_of_int n.preorder ^ ">"
)
+ Format.fprintf fmt "
<%s>
"
+ (if n == nil then "
NIL
" else
+ if n == dummy then "
DUMMY
" else
+ "
NODE " ^ string_of_int n.preorder
)
let debug_node fmt node =
Format.fprintf fmt "{ tag=%s; preorder=%i; data=%s; first_child=%a; next_sibling=%a; parent=%a }"
let debug_node fmt node =
Format.fprintf fmt "{ tag=%s; preorder=%i; data=%s; first_child=%a; next_sibling=%a; parent=%a }"