X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftest.ml;h=b8f2be8c224b13957cc95d8e718e77f7deda833c;hb=c951f1d4b8f4264acb0b5910dc544ad3a6ceebab;hp=465e40973c590d6862b94afe248b3d5cdec12f06;hpb=cb29d45b3a79233581292a2ef172151b1ff489cb;p=tatoo.git

diff --git a/src/test.ml b/src/test.ml
index 465e409..b8f2be8 100644
--- a/src/test.ml
+++ b/src/test.ml
@@ -20,6 +20,7 @@
 *)
 
 module F = Formula
+module A = Ata
 (* to force ocaml build to add Formula to the dependency chain even if
    we don't use it yet*)