From d0445e1c97508b87ff4bb15be4a631103f919462 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Mon, 4 Jan 2021 15:56:45 +0100
Subject: [PATCH] [server] do not use ref 0 for indexing
---
src/plugins/server/data.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/server/data.ml b/src/plugins/server/data.ml
index 0dc576f61ca..1f20d6d4c36 100644
--- a/src/plugins/server/data.ml
+++ b/src/plugins/server/data.ml
@@ -635,8 +635,8 @@ struct
let get m a =
try M.find a m.index
with Not_found ->
- let id = m.kid in
- m.kid <- succ id ;
+ let id = succ m.kid in
+ m.kid <- id ;
m.index <- M.add a id m.index ;
Hashtbl.add m.lookup id a ; id
--
GitLab