From b4573fb323f76894a80b23898cac319fa7a1fb30 Mon Sep 17 00:00:00 2001 From: Pietro Abate Date: Sun, 26 Nov 2017 23:17:25 +0100 Subject: [PATCH] Client: duplicates results in `list versions`. --- src/client/client_commands.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/client/client_commands.ml b/src/client/client_commands.ml index bd6f41d1c..8c4435784 100644 --- a/src/client/client_commands.ml +++ b/src/client/client_commands.ml @@ -96,7 +96,7 @@ let register name commands = let previous = try Protocol_hash.Table.find versions name with Not_found -> [] in - Protocol_hash.Table.add versions name (commands @ previous) + Protocol_hash.Table.replace versions name (commands @ previous) let commands_for_version version = try Protocol_hash.Table.find versions version