X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fxpath%2Fcompile.ml;h=1bfe292feb58284d87974a41db6419f50b1e7c95;hp=cd887b74970d5a07094fb927b58efcb34717ccf0;hb=4b5e86cc5fa3e62a1cb7d29acf79ffb314194efa;hpb=524e7cad6802c1c32160d69728889cfe734753a4 diff --git a/src/xpath/compile.ml b/src/xpath/compile.ml index cd887b7..1bfe292 100644 --- a/src/xpath/compile.ml +++ b/src/xpath/compile.ml @@ -39,7 +39,7 @@ let root_set = QNameSet.singleton QName.document holds. *) -let compile_axis_test axis (test,kind) phi trans states= +let compile_axis_test axis (test,kind) phi trans states = let q = State.make () in let phi = match kind with Tree.NodeKind.Node -> phi