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

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*)