X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fasta.ml;h=f96cd42353bd75fdf0e51b4a996d978a9a5e5aeb;hb=1b76d38b3809763a339c089c6a1701c85fba335d;hp=965486aeb956f76ed600ef0bbfeefcc9b8bc135a;hpb=1efafef0e88ad043612ed631eaee31b38b79dfc6;p=tatoo.git

diff --git a/src/asta.ml b/src/asta.ml
index 965486a..f96cd42 100644
--- a/src/asta.ml
+++ b/src/asta.ml
@@ -39,6 +39,7 @@ struct
       State.print st
       (QNameSet.to_string la)
       Formula.print f
+
 end
 
 module  SetT =