Pretty printing of the disambiguation environment no longer ends in \n.

[helm.git] / helm / ocaml / cic_disambiguation / disambiguatePp.ml

diff --git a/helm/ocaml/cic_disambiguation/disambiguatePp.ml b/helm/ocaml/cic_disambiguation/disambiguatePp.ml
index 1d36df44d0c191346f0614b7f355f34f16b9bdf2..decaa5f5c6e9a8b13f2ecba403a9412d2d3970a5 100644 (file)
--- 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)