X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2FdisambiguatePp.ml;h=decaa5f5c6e9a8b13f2ecba403a9412d2d3970a5;hb=08ecc780b3b0a4cac7ed72cf68c310e4eeffa2c1;hp=1d36df44d0c191346f0614b7f355f34f16b9bdf2;hpb=e20f3963028a966fc93ba0d611c4aa8341d20e2c;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/disambiguatePp.ml b/helm/ocaml/cic_disambiguation/disambiguatePp.ml
index 1d36df44d..decaa5f5c 100644
--- a/helm/ocaml/cic_disambiguation/disambiguatePp.ml
+++ b/helm/ocaml/cic_disambiguation/disambiguatePp.ml
@@ -42,6 +42,4 @@ let pp_environment env =
         s :: acc)
       env []
   in
-  String.concat "\n" (List.sort compare aliases) ^
-   (if aliases = [] then "" else "\n")
-
+  String.concat "\n" (List.sort compare aliases)