From 9cc9df14674ac5eca73161a43c495aea645795ef Mon Sep 17 00:00:00 2001 From: jonathanhardie Date: Sat, 7 Jun 2014 17:11:46 +1200 Subject: [PATCH] Fixed closing XML tag for package names in TopLevel completion mode --- main.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main.ml b/main.ml index a88d9fd4ba4..f82bdcf47d8 100644 --- a/main.ml +++ b/main.ml @@ -1561,7 +1561,7 @@ with | Typer.ITEnum(en,ef) -> Buffer.add_string b (Printf.sprintf "%s\n" (s_type ef.ef_type) ef.ef_name); | Typer.ITGlobal(mt,s,t) -> Buffer.add_string b (Printf.sprintf "%s\n" (s_type_path (t_infos mt).mt_path) (s_type t) s); | Typer.ITType(mt) -> Buffer.add_string b (Printf.sprintf "%s\n" (s_type_path (t_infos mt).mt_path) (snd (t_infos mt).mt_path)); - | Typer.ITPackage s -> Buffer.add_string b (Printf.sprintf "%s\n" s) + | Typer.ITPackage s -> Buffer.add_string b (Printf.sprintf "%s\n" s) ) il; Buffer.add_string b ""; raise (Completion (Buffer.contents b))