X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fcompil.ml;fp=src%2Fcompil.ml;h=f50522927d0824f0a6cdcd8a8fec3dfbf0d547bc;hb=6b4b9309e0f49f9a87d97ea87829aa74614dedb7;hp=99e87b5d83c71bb18872a6ebf35b3408dcabdc93;hpb=5e6e859cd104ffdaa08bca3f1edeaa6f21edccf8;p=tatoo.git

diff --git a/src/compil.ml b/src/compil.ml
index 99e87b5..f505229 100644
--- a/src/compil.ml
+++ b/src/compil.ml
@@ -75,7 +75,7 @@ let trans query =
     Asta.add_top asta q
       
   and trans_pr  = function		(* either we apply De Morgan rules
-					   in xPath:parse or here *)
+					   in xPath.parse or here *)
     | Expr True -> Formula.true_
     | Expr False -> Formula.false_
     | Or (p_1,p_2) -> trans_pr(p_1) +| trans_pr(p_2)