X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Ftest.ml;fp=src%2Ftest.ml;h=f62e68d0cd763b03dcc7d82ec732f4fd4e8325a3;hb=e40191ae5c8931b10fffa350b7cf9141ccee2200;hp=e854f442a29709e19b09677e4a3155854638f570;hpb=6ff08e4dc3f627216479e20c257ab47c1a138ca6;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*)