X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftest.ml;h=f62e68d0cd763b03dcc7d82ec732f4fd4e8325a3;hb=e13f5deae217f945b44fa345ef4f0008e1780787;hp=e854f442a29709e19b09677e4a3155854638f570;hpb=30bc0bb1291426e5e26eb2dee1ffc41e4c246349;p=tatoo.git diff --git a/src/test.ml b/src/test.ml index e854f44..f62e68d 100644 --- a/src/test.ml +++ b/src/test.ml @@ -14,7 +14,7 @@ (***********************************************************************) (* - Time-stamp: + Time-stamp: *) (** use: xml_file "XPath querie" @@ -24,6 +24,8 @@ module F = Auto.Formula module A = Auto.Ata +module X = Xpath.Compile + (* to force ocaml build to add Formula to the dependency chain even if we don't use it yet*)