Merge branch 'lucca-tests-bench' into lucca-optim

[tatoo.git] / src / asta.ml

diff --git a/src/asta.ml b/src/asta.ml
index 965486a..f96cd42 100644 (file)
--- 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 =