Files for the next step: run.ml?

[tatoo.git] / src / compil.ml

diff --git a/src/compil.ml b/src/compil.ml
index 99e87b5..f505229 100644 (file)
--- 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)