Implem of Asta.print

[tatoo.git] / src / test.ml

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