- bug fix in the static disambiguation of unified binders

[helm.git] / helm / software / helena / src / automath / autOutput.ml

diff --git a/helm/software/helena/src/automath/autOutput.ml b/helm/software/helena/src/automath/autOutput.ml
index 41424b4db50b6dd42fea808ff49f49431ab4706b..028fdd23cb98444404454b385cec2c2cc08b4008 100644 (file)
--- a/helm/software/helena/src/automath/autOutput.ml
+++ b/helm/software/helena/src/automath/autOutput.ml
@@ -10,6 +10,7 @@
       V_______________________________________________________________ *)
 
 module P  = Printf
+
 module C  = Cps
 module L  = Log
 module A  = Aut