- bug fix in the static disambiguation of unified binders

[helm.git] / helm / software / helena / src / complete_rg / crgOutput.ml

diff --git a/helm/software/helena/src/complete_rg/crgOutput.ml b/helm/software/helena/src/complete_rg/crgOutput.ml
index 3ad78a37be6f22835e65140deb3347ed9042478b..bb15264b0252efe25b661d775ac428f27c6c548e 100644 (file)
--- a/helm/software/helena/src/complete_rg/crgOutput.ml
+++ b/helm/software/helena/src/complete_rg/crgOutput.ml
@@ -10,6 +10,7 @@
       V_______________________________________________________________ *)
 
 module P = Printf
+
 module U = NUri
 module C = Cps
 module L = Log