projects / SXSI / xpathcomp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0158dd0) | patch
Remove unused function pr_mat()
authorkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Wed, 2 Nov 2011 00:42:55 +0000 (00:42 +0000)
committerkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Wed, 2 Nov 2011 00:42:55 +0000 (00:42 +0000)
commitd91456d4929e1e15a3d03bd956d28118aaef7a77
tree227179f8c41a6093b9f35267c711f7412adb226dtree | snapshot
parent0158dd0bd369b50f3e784b3f4b6122ea4cbde822commit | diff
Remove unused function pr_mat()

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1162 3cdefd35-fc62-479d-8e8d-bae585ffb9ca
src/main.ml diff | blob | history
XPath Library based on tree automata.